[Back]


Books and Book Editorships:
L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Special issue on Automated Specification and Verification of Web Systems";
in series "Journal of Logic and Algebraic Programming", series editor: R. De Nicola; Elsevier, 2013, ISSN: 1567-8326.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jlap.2013.05.007

Created from the Publication Database of the Vienna University of Technology.