Special issue on Automated Specification and Verification of Web Systems
Other text in scientific journal, 2013
web systems
verification
formal methods
Author
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Rosario Pugliese
University of Florence
Josep Silva
Polytechnic University of Valencia (UPV)
Francesco Tiezzi
IMT School for Advanced Studies
Journal of Logic and Algebraic Programming
1567-8326 (ISSN)
Vol. 82 8 241-242Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
Software Engineering
Computer Science
DOI
10.1016/j.jlap.2013.05.007