Special issue on Automated Specification and Verification of Web Systems
Artikel i övrig tidskrift, 2013
web systems
formal methods
verification
Författare
Laura Kovacs
Chalmers, Data- och informationsteknik, Programvaruteknik
Rosario Pugliese
Universita degli Studi di Firenze
Josep Silva
Universitat Politècnica de València
Francesco Tiezzi
Institutions Markets Technologies, Lucca
Journal of Logic and Algebraic Programming
1567-8326 (ISSN)
Vol. 82 8 241-242Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1016/j.jlap.2013.05.007