You are here

Formal Verification of Websites

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.