Inference Rules for Program Annotation.

Nachum Dershowitz, Zohar Manna

Browse the full ICSE paper archive.