You are here

Publications

Export 3 results:
Filters: Author is Flores, S.  [Clear All Filters]
2008
S. Flores, Lucas, S., and Villanueva, A., Formal Verification of Websites, Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.
2007
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.