Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Papers

Name: Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Papers
ISBN: 9783662492239

Domenico Bianculli (편집자) , Radu Calinescu (편집자) , Bernhard Rumpe (편집자)

아직 평점이 없습니다