ISBN 9783642180699 books & textbook
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6528)
Beckert, Bernhard Marché, Claude
Springer /2011-01-14 Paperback / 209 Pages
isbn-10: 3642180698 / isbn-13: 9783642180699
