EasyChair Smart Slide
Mike Gordon: Tribute to a Pioneer in Theorem Proving and Formal Verification
Mike Gordon: Tribute to a Pioneer in Theorem Proving and Formal Verification