Yves Bertot
Yves Bertot
3 books in the database
Books
Interactive Theorem Proving and Program DevelopmentYves Bertot
Interactive Theorem Proving and Program Development
Yves Bertot · 2004
Theorem proving in higher order logicsYves Bertot
Theorem proving in higher order logics
Yves Bertot · 1999
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and ProofsYves Bertot
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Yves Bertot · 2017
Co-authored books and collections
Books that list Yves Bertot among their authors but not as the lead author: co-written works, collections and compilations.