Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
- Författare
- Assia Mahboubi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | 2019 | Utgivningsland okänt / Ej specificerat, New York NY |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | 2019 | Utgivningsland okänt / Ej specificerat, New York NY |