Leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15-18, 2012, proceedings, part i
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642340253
Date de publication :
11 sept. 2012
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.