Formal verification of object-oriented software : international conference, FoVeOOS, Paris, France, June 28-30, 2010 (e-book)

Formal verification of object-oriented software : international conference, FoVeOOS, Paris, France, June 28-30, 2010 (e-book) - Berlin Springer 2011 - Lecture Notes in Computer Science (LNCS) v.6528 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-18070-5


Computer Science and Engineering
Computer software--Verification--Congresses
Object-oriented methods(Computer science)--Congresses
Formal methods (Computer science)--Congresses

Powered by Koha