Reiner Hähnle
Informatiker,
Hochschullehrer
Hat mitgewirkt an:
-
The many valued theorem prover 3TAP
-
The many valued theorem prover 3TAP
-
Automated model analysis tools and techniques presented at FASE 2019
-
Fundamental approaches to software engineering : 22nd international conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech...