BACK TO MASCOTTE PUBLICATION INDEX

Publications of R. Redamalla

Conference articles
  1. L. Liquori, F. Honsell, and R. Redamalla. A Language for Verification and Manipulation of Web Documents. In Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), volume 157 of Electronic Notes in Theoretical Computer Science, pages 67--78, 2006. Elsevier. [bibtex-entry]


BACK TO MASCOTTE PUBLICATION INDEX



Last modified: Thu Oct 10 14:10:02 2013

This document was translated from BibTEX by bibtex2html