Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu. Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. In Masami Hagiya, Philip Wadler, editors, Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Volume 3945 of Lecture Notes in Computer Science, pages 114-129, Springer, 2006. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Julien Forest' in GoogleThis author has not been identified. Look up 'David Pichardie' in GoogleIdentified as Vlad Rusu

runs on WebDSL