Méthodes Formelles, Salons - Conférences avril 2017 SC2 “Satisfiability Checking and Symbolic Computation” Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.
Méthodes Formelles, Salons - Conférences avril 2017 SC2 “Satisfiability Checking and Symbolic Computation” Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.
