Inference rules for program annotation (1978)

by Nachum Dershowitz, Zohar Manna
Venue:In International Conference on Software Engineering