Books and Book Editorships:

L. Kovacs, T. Kutsia:
"Special Issue on Automated Speci cation and Veri cation of Web Systems";
in series "Journal of Applied Logic", series editor: J. Siekmann et al.; Elsevier B.V., 2012, ISSN: 1570-8683, 162 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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