@techreport{BeckertDamianiGurov2011,
editor = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
title = {Papers Presented at the 2nd International Conference
on Formal Verification of Object-Oriented Software ({FoVeOOS} 2011)},
venue = {Turin, Italy},
eventdate = {2011-10-05/2011-10-07},
institution = {Karlsruhe Institute of Technology, Department of Informatics},
number = {2011-26},
note = {Available at http://digbib.ubka.uni-karlsruhe.de/volltexte/1000024780},
year = {2011},
month = oct
}