Configurable Proof Obligations in the Frog Toolkit - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Fraser, Richard Banach. Configurable Proof Obligations in the Frog Toolkit. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 361-370, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Simon Fraser' in GoogleThis author has not been identified. Look up 'Richard Banach' in Google

runs on WebDSL