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