Publikation

Automated Provers doing (Higher-Order) Proof search

A Case Study in the Verification of Pointer Programs

Autorenschaft:
Farhad Mehta, Silvio Ranise, 2004
Zeitschrift / Sammelband:
IJCAR’04 PDPAR workshop proceedings/2004

Prof. Dr. Farhad D. Mehta

IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering

+41 58 257 46 16farhad.mehta@ost.ch

zurück