Méthodes Formelles
Novembre 2015

Séminaire Dagstuhl

Systerel participe du 15 au 20 novembre prochains au séminaire Dagstuhl 15471 consacré à la fertilisation croisée entre calcul symbolique et vérification de satisfiabilité.