Méthodes formelles et Différentiation automatique
Micaela Mayero
Projet Logical, Inria Rocquencourt
Abstract:
Si vous voulez tout savoir sur le mariage de Coq et la DA, n'hésitez pas à venir!
Back
to schedule.
Marieke Huisman