S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Using Maude for the Formal Verification of Websites”,
Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.