Reports
(Research Report)
Year : 2012
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03189970
Submitted on : Monday, April 5, 2021-5:15:57 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Cite
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
View
0
Download