Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Written by
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Yves Bertot
Keep track of this one.
Sign in to log, rate or reviewReviews
No reviews yet
Be the first to say something about it.