author | haftmann |
Thu, 08 Jul 2010 16:19:24 +0200 | |
changeset 37744 | 3daaf23b9ab4 |
parent 19400 | 17382f02079e |
permissions | -rw-r--r-- |
19400 | 1 |
@inproceedings{MehtaN-CADE03,author={Farhad Mehta and Tobias Nipkow}, |
2 |
title={Proving Pointer Programs in Higher-Order Logic}, |
|
3 |
booktitle="Automated Deduction --- CADE-19",editor="F. Baader", |
|
4 |
year=2003,publisher="Springer",series="LNCS",volume={2741},pages={121--135}} |
|
5 |
||
6 |
@article{MehtaN-IC05,author={Farhad Mehta and Tobias Nipkow}, |
|
7 |
title={Proving Pointer Programs in Higher-Order Logic}, |
|
8 |
journal="Information and Computation",year=2005,volume=199,pages={200-227}} |