Software engineering and formal methods. SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7--8, 2015. Revised selected papers
scientific article; zbMATH DE number 6530383