Software Verification with Integrated Data Type Refinement for Integer Arithmetic

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Steffen Schlager
In:Proceedings, International Conference on Integrated Formal Methods, Canterbury, UK
Publisher:Springer
Series:LNCS 2999
Year:2004
Pages:207-226

BibTeX

@InProceedings{BeckertSchlager04,
  author =       {Bernhard Beckert and Steffen Schlager},
  title  =       {Software Verification with Integrated Data Type Refinement 
                  for Integer Arithmetic},
  booktitle =    {Proceedings, 
                  International Conference on Integrated Formal Methods, 
                  Canterbury, UK},
  year =         {2004},
  publisher =    {Springer},
  series =       {LNCS 2999},
  pages =        {207--226} 
}