Gruner, S., Haxthausen, A. E., Maibaum, T. & Roggenbach, M., 2014, 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert.Springer, p. XI-XII (Lecture Notes in Computer Science, Vol. 8368).
Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research › peer-review