Rapport
(Rapport De Recherche)
Année : 2012
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189970
Soumis le : lundi 5 avril 2021-17:15:57
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Assalé Adje, Jean Goubault-Larrecq. Concrete Semantics of Programs with Non-Deterministic and Random Inputs. [Research Report] LSV, ENS Cachan. 2012. ⟨hal-03189970⟩
Collections
18
Consultations
0
Téléchargements