Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.61.0 ◽

2011 ◽

Vol 61 ◽

Author(s):

Laura Kovacs ◽

Rosario Pugliese ◽

Francesco Tiezzi

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06)

10.1109/wwv.2006 ◽

2006 ◽

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.98.2 ◽

2012 ◽

Vol 98 ◽

pp. 2-2

Author(s):

José Luiz Fiadeiro

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.188.0 ◽

2015 ◽

Vol 188 ◽

pp. 1-3

Author(s):

Maurice H. ter Beek ◽

Alberto Lluch Lafuente

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.98.0 ◽

2012 ◽

Vol 98 ◽

Author(s):

Josep Silva ◽

Francesco Tiezzi

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.98.1 ◽

2012 ◽

Vol 98 ◽

pp. 1-1

Author(s):

Rocco De Nicola

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.163.0 ◽

2014 ◽

Vol 163 ◽

Author(s):

Maurice H. ter Beek ◽

António Ravara

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.123.0 ◽

2013 ◽

Vol 123 ◽

Author(s):

António Ravara ◽

Josep Silva

Keyword(s):

International Workshop ◽

Specification And Verification ◽

Web Systems

Download Full-text

Editorial for the JLAMP Special Issue on automated specification and verification of web systems

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2015.04.001 ◽

2015 ◽

Vol 84 (4) ◽

pp. 483-484

Author(s):

António Ravara ◽

Josep Silva

Keyword(s):

Special Issue ◽

Specification And Verification ◽

Web Systems

Download Full-text

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Title

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.2 ◽

2006 ◽

Keyword(s):

Specification And Verification ◽

Web Systems

Download Full-text

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Copyright

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.1 ◽

2006 ◽

Keyword(s):

Specification And Verification ◽

Web Systems

Download Full-text