@unpublished{CLL03,
author = {J.M.~Cleva and J.~Leach and F.J.~L\'{o}pez-Fraguas},
month = {November},
note = {Comunicaci\'{o}n de trabajo en curso. III Jornadas de Programaci\'{o}n y Lenguajes (PROLE'03)},
title = {{V}erificaci\'{o}n de propiedades de programas l\'{o}gico-funcionales},
projects = {},
butype = {misc},
year = {2003}
}