Lennart Beringer

• Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
• Interactive Theorem Proving
• Program Logics for Certified Compilers