A Metalogical Approach to Foundational Certified Code (2003)

Cached

Download Links

by Karl Crary , Susmit Sarkar
Citations:5 - 0 self