Inference Rules for Program Annotation (1978)

by N Dershowitz, Z Manna
Venue:In: Proceedings of the 3rd International Conference on Software Engineering