Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
by Yves Bertot
No reviews yet
First published: 2017
1 language
ISBN: 9781450347051
