Franklin

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

Author/Creator:
Mahboubi, Assia
Publication:
New York NY ACM
Format/Description:
Book
Contributor:
Association for Computing Machinery-Digital Library.
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy