Beringer, Lennart books & textbook
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Springer /2012-07-06 Paperback / 430 Pages
isbn-10: 3642323464 / isbn-13: 9783642323461
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
