@inproceedings{CLL04a,
author = {J.M.~Cleva and J.~Leach and F.J.~L\'{o}pez-Fraguas},
booktitle = {Actas IV Jornadas de Programaci\'{o}n y Lenguajes (PROLE'04)},
pages = {89--92},
publisher = {Universidad de M\'{a}laga},
title = {Una aproximaci\'{o}n l\'{o}gica a la verificaci\'{o}n de propiedades de programas l\'{o}gico-funcionales},
projects = {},
butype = {proceedings},
year = {2004}
}