@inproceedings{FLV07,
title = {{Using Maude for the Formal Verification of Websites}},
author = {Flores, S. and Lucas, S. and Villanueva, A.},
booktitle = {Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07)},
pages = {to appear},
month = sep,
year = 2007,
address = Zaragoza (Spain)
}