TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Kompetenzzentrum Theorem Proving

Abstract and Vision

Foundations and Applications of Machine Supported Proofs

Theorem Proving Group