Proving pointer programs in higher-order logic (2005)

by Farhad Mehta, Tobias Nipkow
Venue:Information and Compututation