@misc{OPUS4-209,
  title     = {Tests and proofs: papers presented at the Second International Conference TAP 2008, Prato, Italy, April 2008},
  editor    = {Bernhard Beckert and Reiner H{\"a}hnle},
  institution = {Fachbereich 4},
  series    = {Arbeitsberichte, FB Informatik},
  number    = {2008,5},
  type      = {periodicalpart},
  pages     = {65},
  year        = {2008},
}