@techreport{BeckertMarche2010,
editor = {Bernhard Beckert and Claude March\'{e}},
title = {Papers Presented at the International Conference on
Formal Verification of Object-Oriented Software ({FoVeOOS} 2010)},
eventdate = {2010-06-28/2010-06-30},
venue = {Paris, France},
institution = {Karlsruhe Institute of Technology, Department of Informatics},
number = {2010-13},
note = {Available at
http://digbib.ubka.uni-karlsruhe.de/volltexte/1397033},
year = {2010}
}