Proving pointer programs in Hoare logic (2000)

by R Bornat
Venue:Mathematics of Program Construction