Books and Book Editorships:

R. de Nicola, E. Kühn (ed.):
"Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016 Vienna, Austria, July 4 - 8, 2016 Proceedings (LNCS 9763)";
Springer International Publishing, 2016, ISBN: 978-3-319-41590-1.

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

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