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,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.