@inproceedings{conf/fmco/AhrendtBHRS06,
	title = {Verifying Object-Oriented Programs with KeY: A Tutorial.},
	author = {Wolfgang Ahrendt and Bernhard Beckert and Reiner Hähnle and Philipp Rümmer and Peter H. Schmitt},
	booktitle = {FMCO},
	crossref = {conf/fmco/2006},
	editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
	pages = {70-101},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2006.html#AhrendtBHRS06},
	volume = {4709},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2f231d894b79abe495b5b8d7d905e95eb/dblp},
	description = {dblp},
	date = {2008-08-07}, ee = {http://dx.doi.org/10.1007/978-3-540-74792-5_4}, isbn = {978-3-540-74791-8},
	keywords = {dblp }
}