- DE
- EN

Publikation

Proving Pointer Programs in Higher-Order Logic

Autorenschaft:

Farhad Mehta, Tobias Nipkow, 2005

Herausgeber:

Elsevier

Zeitschrift / Sammelband:

Information and Computation, Nr.199/2005

Seiten / Kapitel:

200-227