Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Article : texte imprimé
Guillaume Claret, Auteur | 2025"Nous présentons dans cet article l’outil “coq-of-rust” https://github.com/formal-land/coqof-rust, un outil d’analyse de code Rust pour garantir l’absence de bug dans un programme par vérification formelle." (Extrait de Programmez n°272)
