EasyChair Smart Slide
Lightweight Interactive Proving inside an Automatic Program Verifier
Lightweight Interactive Proving inside an Automatic Program Verifier