3 works on record
Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
Interactive Theorem Proving
Program Logics for Certified Compilers