Concrete Semantics of Programs with Non-Deterministic and Random Inputs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More