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

