Proof Reuse for Program Verification Calculi - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vladimir Klebanov. Proof Reuse for Program Verification Calculi. In Ulrike Sattler, editor, Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. Volume 106 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]

This author has not been identified. Look up 'Vladimir Klebanov' in Google

runs on WebDSL