2015
Conference Proceeding
Title

Software Engineering and Formal Methods. SEFM 2015 collocated workshops

Title Supplement
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers
Person Involved
Bianculli, D.
Calinescu, R.
Rumpe, B.
Publisher
Publishing Place
Berlin
Conference
Language
English