Up and coming!
We are working on setting up a Mattermost structure for communication between our project members and other experts in the field of formal verification.
Are you interested and would like to join? Please contact protect@gi.de.
We are working on setting up a Mattermost structure for communication between our project members and other experts in the field of formal verification.
Are you interested and would like to join? Please contact protect@gi.de.