Software Verification with Integrated Data Type Refinement for Integer Arithmetic

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Steffen Schlager
In:Proceedings, International Conference on Integrated Formal Methods, Canterbury, UK
Verleger:Springer
Reihe:LNCS 2999
Jahr:2004
Seiten: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} 
}