Proving pointer programs in Hoare Logic (2000)

Cached

Download Links

by Richard Bornat
Citations:99 - 7 self