Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Special Issue on Tests and Proofs

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Reiner Hähnle
Zeitschrift:Journal of Automated Reasoning
Verleger:Springer-Verlag
Nummer:4
Band:45
Jahr:2010

BibTeX

@Article{BeckertHaehnle2010,
  author =       {Bernhard Beckert and Reiner H\"ahnle},
  journal =      {Journal of Automated Reasoning},
  title =        {Special Issue on Tests and Proofs},
  publisher =    {Springer-Verlag},
  volume =       {45},
  number =       {4},
  year =         {2010},
  month =        apr
}