Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
0
0
Author Description
Page Count:
351
Publication Date:
2022-01-01
Publisher:
Association for Computing Machinery
ISBN-10:
1450391826
ISBN-13:
9781450391825