@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} }
Program Verification Using Change Information
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 |