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

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

Rocco De Nicola (المحرر) , Radu Calinescu (المحرر) , Bernhard Rumpe (المحرر)

لا توجد تقييمات بعد