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