[Back]


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)
http://dx.doi.org/10.1007/978-3-319-23820-3