4colproof
Tutorial
A Translation from Typed Assembly Language to Certified Assembly Programming Zhong Shao Yale University Joint work with Zhaozhong Ni Paper URL: .
Certified Reasoning for Automated Verification