Center for Information Technology Policy

Princeton University

Websitehttps://citp.princeton.edu/

746 Conference contribution
478 Article
114 Paper
85 Conference article
More

1 results

Filter

2014
Program logics for certified compilers
Appel, A. W., Dockins, R., Hobor, A., Beringer, L., Dodds, J., Stewart, G., Blazy, S. & Leroy, X., Jan 1 2014, Cambridge University Press. 451 p.
Research output: Book/Report › Book
130 Scopus citations