Mots-clés – vérification formelle
Article
-
Algorithmes, machines et langages [Texte intégral]Paru dans L’annuaire du Collège de France, 118 | 2020
-
Algorithmes, machines et langages [Texte intégral]Paru dans L’annuaire du Collège de France, 117 | 2019