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