O
OCaml
Projects with this topic
-
Formalization in Coq and Why3 of a theory about weak control dependence
Updated
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
Formalization in Coq and Why3 of a theory about weak control dependence