Formal Verification of Object-Oriented Software

FoVeOOS 2011: Turin, Italy

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/foveoos/2011
- ask others
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (Eds.): Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7421 ISBN 978-3-642-31761-3 [ contents ]

FoVeOOS 2010: Paris, France

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/foveoos/2010
- ask others
Bernhard Beckert, Claude Marché (Eds.): Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6528 ISBN 978-3-642-18069-9 [ contents ]