Foundational Certified Code in a Metalogical (2005)

by Framework Karl Crary , Karl Crary , Susmit Sarkar
Venue:In Nineteenth International Conference on Automated Deduction