- DE
- EN

Publikation

Proving Pointer Programs in Higher-Order Logic

Autorenschaft:

Farhad Mehta, Tobias Nipkow, 2003

Herausgeber:

Springer

Zeitschrift / Sammelband:

Automated Deduction – CADE-19, Nr.LNCS 2741/2003

Seiten / Kapitel:

121-135

978-3-540-40559-7