- 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, 2005

Publisher

Elsevier

Newspaper/Anthology:

Information and Computation, Nr.199/2005

Pages:

200-227