src/HOL/Hoare/document/root.bib
author wenzelm
Wed, 23 Jul 2025 14:53:21 +0200
changeset 82898 89da4dcd1fa8
parent 19400 17382f02079e
permissions -rw-r--r--
clarified colors, following d6a14ed060fb;

@inproceedings{MehtaN-CADE03,author={Farhad Mehta and Tobias Nipkow},
title={Proving Pointer Programs in Higher-Order Logic},
booktitle="Automated Deduction --- CADE-19",editor="F. Baader",
year=2003,publisher="Springer",series="LNCS",volume={2741},pages={121--135}}

@article{MehtaN-IC05,author={Farhad Mehta and Tobias Nipkow},
title={Proving Pointer Programs in Higher-Order Logic},
journal="Information and Computation",year=2005,volume=199,pages={200-227}}