You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 3 results:

BibTex

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.