relation: http://eprints.imtlucca.it/1854/
title: Special issue on Automated Specification and Verification of Web Systems (Editorial)
creator: Kovács, Laura
creator: Pugliese, Rosario
creator: Silva, Josep
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
publisher: Elsevier
date: 2013
type: Article
type: PeerReviewed
identifier:   Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco  Special issue on Automated Specification and Verification of Web Systems (Editorial).  Journal of Logic and Algebraic Programming, 82 (8).  pp. 241-242.  ISSN 1567-8326      (2013)  
relation: http://www.sciencedirect.com/science/article/pii/S1567832613000301
relation: 10.1016/j.jlap.2013.05.007