Publications - Web Verification


2008

  • Demis Ballis, Santiago Escobar, Massimo Marchiori.
    Automated Specification and Verification of Web Sites, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 200, Issue 3, Pages 1-188, 23 May 2008
    © Elsevier Science
  • 2007

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Systems, 2nd Int'l Workshop, May 2007
    © IEEE Press
    Available: IEEE Xplore link
  • 2006

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Sites, 1st Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006
    © Elsevier Science
    Available: Online Pre-proceedings

  • Last modified: Sun Sep 20 17:30:55 CEST 2009