Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised
by Domenico Bianculli, Radu Calinescu, Melissa Bigner Paperback 2016
- Author: Domenico Bianculli, Radu Calinescu, Melissa Bigner
- ISBN 13: 9783662492239
- ISBN 10: 3662492237
- Publication Year: 2016
- Language: English
Specifications
Index-103662492237
LanguageEnglish
Index-139783662492239
Period-
Class Track-
Publisher- (2016)
Pages-