Interfacing hoare logic and type systems for foundational proof-carrying code (2004)

Cached

Download Links

by Nadeem Abdul Hamid , Zhong Shao
Venue:In Proc. 17th International Conference on Theorem Proving in Higher Order Logics, volume 3223 of LNCS
Citations:23 - 4 self