Publikation

Proving Pointer Programs in Higher-Order Logic

Autorenschaft:
Prof. Dr. Farhad D. Mehta, Farhad Mehta, Tobias Nipkow, 2005
Herausgeber:
Elsevier
Zeitschrift / Sammelband:
Information and Computation, Nr.199/2005
Seiten / Kapitel:
200-227
zurück