👤

Bernd-Holger Schlingloff

2 books

Books by Bernd-Holger Schlingloff

Formal Methods for Software En
Formal Methods for Software Engineering
2020
Tum Institut für Informatik zu
Tum Institut für Informatik zur temporalen Logik von Bäumen
1990