An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract).

Krzysztof R. Apt, Carole Delporte

Browse the full ICALP paper archive.