Research output per year
Research output per year
Search results
-
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 -
2009
Analytic combinatorics
Flajolet, P. & Sedgewick, R., Jan 1 2009, Cambridge University Press. 810 p.Research output: Book/Report › Book
2204 Scopus citations