Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.

Zohar Manna, Richard J. Waldinger

Browse the full ICSE paper archive.