Is \sometimes" sometimes better than \always"?: Intermittent assertions in proving program correctness (0)

by Z Manna, R Waldinger
Venue:CACM