- Contact
- DE
- EN

Empowering Expertise.

Discover your
career prospects.

Find your degree program

Publication

Proving Pointer Programs in Higher-Order Logic

Author:

Farhad Mehta, Tobias Nipkow, 2003

Publisher

Springer

Newspaper/Anthology:

Automated Deduction – CADE-19, Nr.LNCS 2741/2003

Pages:

121-135

978-3-540-40559-7