An Integration of Program Analysis and Automated Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bill J. Ellis, Andrew Ireland. An Integration of Program Analysis and Automated Theorem Proving. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 67-86, Springer, 2004. [doi]

This author has not been identified. Look up 'Bill J. Ellis' in GoogleThis author has not been identified. Look up 'Andrew Ireland' in Google

runs on WebDSL