FoVeOOS

International Conference on Formal Verification of Object-Oriented Software

Search within this conference

Search

1. 2011

   FoVeOOS 2011

   • 5-7 October
   • Turin, Italy

   • Formal Verification of Object-Oriented Software

     15 Papers

     1 Volume

2. 2010

   FoVeOOS 2010

   • 28-30 June
   • Paris, France

   • Formal Verification of Object-Oriented Software

     13 Papers

     1 Volume