Mechanization of Proof: From 4-Color Theorem to Compiler Verification


Date
08/27/2014 - 08/27/2014
Location
CAMP