Leveraging applications of formal methods, verification, and validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18 - 21, 2010 ; proceedings
Literaturangaben