CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
https://hal.inria.fr/hal-01350438
Contributeur : Inria Interstices
<>
Soumis le : vendredi 29 juillet 2016 - 17:47:00
Dernière modification le : jeudi 7 février 2019 - 17:29:32
