@techreport{BeckertHaehnle2008,
editor = {Bernhard Beckert and Reiner H\"ahnle},
title = {Papers Presented at the Second International
Conference on Tests and Proofs ({TAP} 2008)},
venue = {Prato, Italy},
eventdate = {2008-04-09/2008-04-11},
institution = {University of Koblenz},
type = {Reports of the Faculty of Informatics},
number = {5/2008},
note = {Available at
http://www.uni-koblenz.de/FB4/Publications/Reports},
year = {2008}
}