Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Software Verification with Integrated Data Type Refinement for Integer Arithmetic

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Steffen Schlager
In:4th International Conference on Integrated Formal Methods (IFM 2004)
Publisher:Springer
Series:LNCS
Volume:2999
Year:2004
Pages: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)},
  venue =        {Canterbury, {UK}},
  year =         {2004},
  eventdate =    {2004-04-04/2004-04-07},
  month =        apr,
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2999},
  doi       =    {10.1007/978-3-540-24756-2_12},
  pages =        {207--226} 
}