Special Issue on Tests and Proofs

Journal Article

Author(s):Bernhard Beckert and Reiner Hähnle
Journal:Journal of Automated Reasoning
Publisher:Springer-Verlag
Number:4
Volume:45
Year: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
}