Proving Pointer Programs in Higher-Order Logic

Cite this paper

@inproceedings{Mehta2003ProvingPP, title={Proving Pointer Programs in Higher-Order Logic}, author={Farhad Mehta and Tobias Nipkow}, booktitle={CADE}, year={2003} }