
cover from: Google Books
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
Tiziana Margaria, Bernhard Steffen (eds.).
2010
184124
isbn:9783642165610|isbn:3642165613|isbn:9783642165603|isbn:3642165605