@Proceedings{foveoos2011,
editor = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
title = {International Conference on Formal Verification of
Object-Oriented Software ({FoVeOOS} 2011),
Revised Selected Papers},
venue = {Turin, Italy},
eventdate = {2011-10-05/2011-10-07},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7421},
year = {2012},
month = oct
}