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

Författare
Jeremy Avigad
Språk
Engelska
Förlag År Ort Om boken ISBN
ACM 2016 Utgivningsland okänt / Ej specificerat, New York NY