👤

Yves Bertot

3 books

Books by Yves Bertot

Proceedings of the 6th ACM SIG
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
2017
From semantics to computer sci
From semantics to computer science
2009
Interactive theorem proving and program development
Interactive theorem proving and program development
2004