FM-RAIL-BOK organizers' message

Stefan Gruner, Anne Elisabeth Haxthausen, Tom Maibaum, Markus Roggenbach

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

Original languageEnglish
Title of host publication11th International Conference on Software Engineering and Formal Methods, SEFM 2013 : Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert
PublisherSpringer
Publication date2014
PagesXI-XII
ISBN (Print)978-3-319-05031-7
ISBN (Electronic)978-3-319-05032-4
Publication statusPublished - 2014
Event11th International Conference on Software Engineering and Formal Methods (SEFM) 2013 - Madrid, Spain
Duration: 25 Sep 201327 Sep 2013
http://antares.sip.ucm.es/sefm2013/

Conference

Conference11th International Conference on Software Engineering and Formal Methods (SEFM) 2013
CountrySpain
CityMadrid
Period25/09/201327/09/2013
OtherCollocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013
Internet address
SeriesLecture Notes in Computer Science
Volume8368
ISSN0302-9743

Keywords

  • Computer Science (all)
  • Theoretical Computer Science

Cite this

Gruner, S., Haxthausen, A. E., Maibaum, T., & Roggenbach, M. (2014). FM-RAIL-BOK organizers' message. In 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert (pp. XI-XII). Springer. Lecture Notes in Computer Science, Vol.. 8368
Gruner, Stefan ; Haxthausen, Anne Elisabeth ; Maibaum, Tom ; Roggenbach, Markus. / FM-RAIL-BOK organizers' message. 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer, 2014. pp. XI-XII (Lecture Notes in Computer Science, Vol. 8368).
@inbook{8636021aba2247408edccd4fd3883b35,
title = "FM-RAIL-BOK organizers' message",
keywords = "Computer Science (all), Theoretical Computer Science",
author = "Stefan Gruner and Haxthausen, {Anne Elisabeth} and Tom Maibaum and Markus Roggenbach",
year = "2014",
language = "English",
isbn = "978-3-319-05031-7",
pages = "XI--XII",
booktitle = "11th International Conference on Software Engineering and Formal Methods, SEFM 2013",
publisher = "Springer",

}

Gruner, S, Haxthausen, AE, Maibaum, T & Roggenbach, M 2014, FM-RAIL-BOK organizers' message. in 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer, Lecture Notes in Computer Science, vol. 8368, pp. XI-XII, 11th International Conference on Software Engineering and Formal Methods (SEFM) 2013, Madrid, Spain, 25/09/2013.

FM-RAIL-BOK organizers' message. / Gruner, Stefan; Haxthausen, Anne Elisabeth; Maibaum, Tom; Roggenbach, Markus.

11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer, 2014. p. XI-XII (Lecture Notes in Computer Science, Vol. 8368).

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

TY - GEN

T1 - FM-RAIL-BOK organizers' message

AU - Gruner, Stefan

AU - Haxthausen, Anne Elisabeth

AU - Maibaum, Tom

AU - Roggenbach, Markus

PY - 2014

Y1 - 2014

KW - Computer Science (all)

KW - Theoretical Computer Science

M3 - Preface/postscript

SN - 978-3-319-05031-7

SP - XI-XII

BT - 11th International Conference on Software Engineering and Formal Methods, SEFM 2013

PB - Springer

ER -

Gruner S, Haxthausen AE, Maibaum T, Roggenbach M. FM-RAIL-BOK organizers' message. In 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer. 2014. p. XI-XII. (Lecture Notes in Computer Science, Vol. 8368).