software system / theorem proving systems / surgical tool / type systems / mental tools / concrete applications / /
Organization
Technische Universität München / /
Person
Tobias Nipkow / Sascha Böhme / Sean Seefried / Alex Krauss / Peter Johnson / Jane Austen / Johannes Hölzl / Andrew Gacek / Christian Sternagel / David Sands / Andrei Popescu / Andrei Sabelfeld / Helmut Seidl / René Thiemann / Florian Haftmann / John Backes / Harry Butterworth / Peter Lammich / Yutaka Nagashima / Dan Dougherty / Carl Witty / /