leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)

Name: leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)
Price: 243074 COP
Availability: InStock
Author: margaria, tiziana