Defining and reasoning about recursive functions: A practical tool for the Coq proof assistant (2006)

by Gilles Barthe , Julien Forest , David Pichardie , Vlad Rusu
Venue:of Lecture Notes in Computer Science
Citations:17 - 0 self