Home » Computer Sciences » Computer Science By People » N » Technische Universität München

Technische Universität München in Computer Engineering Resources Directory

    

Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambdacalculus.

 


Telephone: +49 (89) 289 17302
Fax: +49 (89) 289 17307
Website: http://isabelle.in.tum.de/~nipkow/

Sponsored Links