Report copyright - CS242: Computer-Aided Verification - ShanghaiTechfaculty.sist.shanghaitech.edu.cn/.../slides/1-intro.pdfelucidation of sets of axioms and rules of inference which can be used in proofs
Please pass captcha verification before submit form