@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 
                  https://www.uni-koblenz.de/FB4/Publications/Reports},
  year =         {2008}
}