Publikation

Automated Provers doing (Higher-Order) Proof search

A Case Study in the Verification of Pointer Programs

Autorenschaft:
Prof. Dr. Farhad D. Mehta, Farhad Mehta, Silvio Ranise, 2004
Zeitschrift / Sammelband:
IJCAR’04 PDPAR workshop proceedings/2004
zurück