Flexible Proof Reuse for Software Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chris Hunter, Peter Robinson, Paul A. Strooper. Flexible Proof Reuse for Software Verification. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 211-225, Springer, 2004. [doi]

This author has not been identified. Look up 'Chris Hunter' in GoogleThis author has not been identified. Look up 'Peter Robinson' in GoogleThis author has not been identified. Look up 'Paul A. Strooper' in Google

runs on WebDSL