Software Verification with Integrated Data Type Refinement for Integer Arithmetic

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Steffen Schlager
In:4th International Conference on Integrated Formal Methods (IFM 2004)
Verleger:Springer
Reihe:LNCS
Band:2999
Jahr:2004
Seiten:207-226
DOI:10.1007/978-3-540-24756-2_12

BibTeX

@InProceedings{BeckertSchlager04,
  author =       {Bernhard Beckert and Steffen Schlager},
  title  =       {Software Verification with Integrated Data Type Refinement 
                  for Integer Arithmetic},
  booktitle =    {4th International Conference on Integrated Formal Methods ({IFM} 2004)},
  place =        {Canterbury, UK},
  year =         {2004},
  date =         {April 4-7},
  month =        apr,
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2999},
  doi       =    {10.1007/978-3-540-24756-2_12},
  pages =        {207--226} 
}