June Andronick (auth.)

Showing the single result

[PDF] Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers June Andronick (auth.), Bernhard Beckert, Claude March? (eds.)