Gurov, Dilian books & textbook
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7421)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian
Springer /2012-07-19 Paperback / 261 Pages
isbn-10: 3642317618 / isbn-13: 9783642317613
