Proving pointer programs in higher-order logic (2005)

by F Mehta, T Nipkow
Venue:Information and Computation