Formal Verification of Object-Oriented Software [E-Book] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.
Beckert, Bernhard.
Damiani, Ferruccio. / Gurov, Dilian.
Berlin, Heidelberg : Springer, 2012
digital.
englisch
9783642317620
10.1007/978-3-642-31762-0
Lecture notes in computer science ; 7421
Full Text
Description not available.