Up and coming!
Wir arbeiten am Aufbau einer Mattermost-Struktur für den Austausch unserer Projektmitglieder sowie weiterer Expert*innen im Bereich formaler Verifikation.
Sie sind interessiert und möchten daran teilhaben? Wenden Sie sich gern an protect@gi.de.