Proving pointer programs in Hoare logic (0)

by R Bornat
Venue:Mathematics of Program Construction