Publication

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
Zeitschrift / Sammelband:
IJCAR’04 PDPAR workshop proceedings
zurück