A Verifier and Timing Analyser for Simple Imperative Programs (Abstract).

Michael J. C. Gordon

Browse the full CAV paper archive.