Home › Authors › Lennart Beringer 👤 Lennart Beringer 2 books Books by Lennart Beringer Program Logics for Certified Compilers 2014 Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci 2012
