[Back]


Books and Book Editorships:
L. Kovacs, T. Kutsia:
"5th International Symposium on Symbolic Computation in Software Science";
in series "EasyChair EPIC Series volume 15", series editor: A. Voronkov; EasyChair, 2013.

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