Dockins, Robert books & textbook
Program Logics for Certified Compilers
Appel, Andrew W. Dockins, Robert Hobor, Aquinas Beringer, Lennart Dodds, Josiah Stewart, Gordon Blazy, Sandrine Leroy, Xavier
Cambridge University Press /2014-04-21 Hardcover / 472 Pages
isbn-10: 110704801X / isbn-13: 9781107048010
