Centre d’Etudes de Recherche du cerveau et de la COgnition
Trouvé sur
https://www.chu-toulouse.fr/-glossaire-des-sigles-
CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l`Université de Bologne, l`Université Paris Diderot et de l`Université d`Édimbourg dans le cadre du ...
Trouvé sur
https://fr.wikipedia.org/wiki/CerCo
Aucun résultat n’a été trouvé dans l’encyclopédie.
