Evaluating the Interfaces of Three Theorem Proving Assistants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicholas A. Merriam, Michael D. Harrison. Evaluating the Interfaces of Three Theorem Proving Assistants. In François Bodart, Jean Vanderdonckt, editors, Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. pages 330-346, Springer, 1996.

This author has not been identified. Look up 'Nicholas A. Merriam' in GoogleThis author has not been identified. Look up 'Michael D. Harrison' in Google

runs on WebDSL