FoVeOOS
International Conference on Formal Verification of Object-Oriented Software
-
2011
FoVeOOS 2011
- 5-7 October
- Turin, Italy
-
Formal Verification of Object-Oriented Software
15 Papers
1 Volume
-
2010
FoVeOOS 2010
- 28-30 June
- Paris, France
-
Formal Verification of Object-Oriented Software
13 Papers
1 Volume