Concrete Semantics of Programs with Non-Deterministic and Random Inputs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Dates et versions

hal-03189970 , version 1 (05-04-2021)

Identifiants

Citer

Assalé Adje, Jean Goubault-Larrecq. Concrete Semantics of Programs with Non-Deterministic and Random Inputs. [Research Report] LSV, ENS Cachan. 2012. ⟨hal-03189970⟩
18 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More