Tests and Proofs. Second International Conference, TAP 2008, Prato, Italy

Tagungsband

Herausgeber:Bernhard Beckert and Reiner Hähnle
Verleger:Springer
Reihe:LNCS 4966
Jahr:2008

BibTeX

@Proceedings{BeckertHaehnle2008,
  editor =       {Bernhard Beckert and Reiner H\"ahnle},
  title =        {Tests and Proofs.
                  Second International Conference, TAP 2008, Prato, Italy},
  publisher =    {Springer},
  series =       {LNCS 4966},
  year =         {2008}
}