Special issue on Automated Specification and Verification of Web Systems
Magazine article, 2013
web systems
formal methods
verification
Author
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
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-242Areas of Advance
Information and Communication Technology
Subject Categories (SSIF 2011)
Computer and Information Science
Software Engineering
Computer Science
DOI
10.1016/j.jlap.2013.05.007