Program Verification Using Change Information

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Peter H. Schmitt
In:1st International Conference on Software Engineering and Formal Methods (SEFM 2003)
Verleger:IEEE Computer Society
Jahr:2003
Seiten: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}
}