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)
http://dx.doi.org/10.1007/978-3-319-41591-8
Created from the Publication Database of the Vienna University of Technology.