• 3786 Citations
  • 31 h-Index
1985 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book
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/ReportBook

72 Scopus citations