You are here

Home

Publications

Export 1 results:
Filters: Author is Marchiori, M.  [Clear All Filters]
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.

created with Drupal | customized by Giovanni Bacci