A Verifier and Timing Analyser for Simple Imperative Programs (Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael J. C. Gordon. A Verifier and Timing Analyser for Simple Imperative Programs (Abstract). In Costas Courcoubetis, editor, Computer Aided Verification, 5th International Conference, CAV 93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Volume 697 of Lecture Notes in Computer Science, pages 320, Springer, 1993.

This author has not been identified. Look up 'Michael J. C. Gordon' in Google

runs on WebDSL