@proceedings{foveoos2010,
editor = {Bernhard Beckert and Claude March\'{e}},
title = {International Conference on
Formal Verification of Object-Oriented Software
International Conference ({FoVeOOS} 2010),
Revised Selected Papers},
venue = {Paris, France},
eventdate = {2010-06-28/2010-06-30},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6528},
year = {2011}
}