@inproceedings{CSC05,
author = {M.~Clavel and J.~Santa-Cruz},
booktitle = {Actas V Jornadas sobre Programaci\'{o}n y Lenguajes, PROLE 2005},
editor = {Francisco L\'{o}pez-Fraguas},
pages = {149--158},
publisher = {Thomson},
title = {{ASIP+ITP}: {A} verification tool based on algebraic semactics},
projects = {MERIT},
butype = {inproceedings},
year = {2005}
}