[Back]


Books and Book Editorships:
L. Kovacs, T. Kutsia:
"6th International Workshop on Automated Specification and Verification of Web Systems (WWV)";
in series "EasyChair EPIC Series volume 18", series editor: A. Voronkov; EasyChair, 2013.

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