-
- You have access
- Open access
- Cited by 1
-
Cited byCrossref Citations
This Book has been cited by the following publications. This list is generated based on data provided by Crossref.
Korkut, Joomy Stark, Kathrin and Appel, Andrew W. 2025. A Verified Foreign Function Interface between Coq and C. Proceedings of the ACM on Programming Languages, Vol. 9, Issue. POPL, p. 687.
- Publisher:
- Cambridge University Press
- Online publication date:
- September 2022
- Print publication year:
- 2022
- Online ISBN:
- 9781009129220
- Creative Commons:
-