Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014,
by Anna-Lena Lamprecht Paperback 2016
- Author: Anna-Lena Lamprecht
- ISBN 13: 9783319516400
- ISBN 10: 331951640X
- Publication Year: 2016
- Language: English
Specifications
Index-10331951640X
LanguageEnglish
Index-139783319516400
Period-
Class Track-
Publisher- (2016)
Pages-