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
978-3-642-18070-5
Computer Science and Engineering
Computer software--Verification--Congresses
Object-oriented methods(Computer science)--Congresses
Formal methods (Computer science)--Congresses