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:In Functional and Logic Programming (FLOPS’06), LNCS 3945
Citations:17 - 0 self