Hier teilen wir unsere neuesten Erkenntnisse aus den Bereichen formale Methoden und Anforderungen, bzw. Entwicklungen unserer OpenSource-Werkzeuge ProB und ProR. Neuigkeiten werden ca. zweimal im Monat veröffentlicht, Sie werden also nicht mit Emails überrannt. Sie können entweder den Newsletter abonnieren (unten), einen RSS-Feed beziehen oder einfach diese Seite besuchen.
