Books and Book Editorships:

E. Bartocci, R. Majumdar (ed.):
"Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings";
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 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.