Options
2015
Conference Proceeding
Titel
Software Engineering and Formal Methods. SEFM 2015 collocated workshops
Titel Supplements
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers
Konferenz