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

Program Verification Using Change Information

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Peter H. Schmitt
In:1st International Conference on Software Engineering and Formal Methods (SEFM 2003)
Publisher:IEEE Computer Society
Year:2003
Pages:91-99
DOI:10.1109/SEFM.2003.1236211

BibTeX

@InProceedings{BeckertSchmitt03,
  author =       {Bernhard Beckert and Peter H. Schmitt},
  title  =       {Program Verification Using Change Information},
  booktitle =    {1st International Conference on 
                  Software Engineering and Formal Methods ({SEFM} 2003)}, 
  venue =        {Brisbane, Australia},
  pages =        {91--99},
  year =         {2003},
  publisher =    {{IEEE} Computer Society},
  doi       =    {10.1109/SEFM.2003.1236211}
}