Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne Paperback 1
- Author: John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
- ISBN 13: 9783642307287
- ISBN 10: 3642307280
- Publication Year: 1
- Language: English
Specifications
Index-103642307280
LanguageEnglish
Index-139783642307287
Period-
Class Track-
Publisher- (1)
Pages-