Publikation

Proving Pointer Programs in Higher-Order Logic

Autorenschaft:
Prof. Dr. Farhad D. Mehta, 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
zurück