Skip to Main content Skip to Navigation
Reports

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-03189970
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 5, 2021 - 5:15:57 PM
Last modification on : Wednesday, April 7, 2021 - 3:35:15 AM

Links full text

Identifiers

  • HAL Id : hal-03189970, version 1
  • ARXIV : 1210.2605

Collections

Citation

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

Share

Metrics

Record views

14