Proving pointer programs in Hoare Logic (2000)

View PDF

Download Links

by Richard Bornat
Citations:114 - 7 self