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