If you made any changes in Pure these will be visible here soon.

Search results

  • 2014

    FM-RAIL-BOK organizers' message

    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 proceedingPreface/postscriptResearchpeer-review