Special issue on Automated Specification and Verification of Web Systems
Magazine article, 2013

formal methods

web systems

verification

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

Institutions Markets Technologies, Lucca

Journal of Logic and Algebraic Programming

1567-8326 (ISSN)

Vol. 82 8 241-242

Areas of Advance

Information and Communication Technology

Subject Categories

Computer and Information Science

Software Engineering

Computer Science

DOI

10.1016/j.jlap.2013.05.007

More information

Latest update

3/6/2018 1