@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
| 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 |