Was ich so mache
kann man jetzt auf den neuen Seiten des Lehrstuhls 5 der Uni Dortmund sehen. Insbesondere wurde dem Tool, an dessen Entwicklung ich mit beteiligt bin (dem jABC), eine eigene Seite entwickelt. Auf dieser Seite gibt es etwas zu dem Modelchecker zu bewundern, den ich mit Clemens zusammenstricke. Eine kleine Hilfe …