Proving Pointer Programs in Higher-Order Logic (2003)

by Farhad Mehta , Tobias Nipkow
Venue:Information and Computation
Citations:66 - 1 self