Program Verification Using Change Information

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Peter H. Schmitt
In:Proceedings, Software Engineering and Formal Methods (SEFM), Brisbane, Australia
Verleger:IEEE Press
Jahr:2003
Seiten:91-99

BibTeX

@InProceedings{BeckertSchmitt03,
  author =       {Bernhard Beckert and Peter H. Schmitt},
  title  =       {Program Verification Using Change Information},
  booktitle =    {Proceedings, 
                  Software Engineering and Formal Methods (SEFM), 
                  Brisbane, Australia},
  pages =        {91--99},
  year =         {2003},
  publisher =    {IEEE Press}
}