Yazar
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
Format:
Electronic Resources
Alıntı:
Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris
View Other Search Results
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
-- Finding Polynomial Loop Invariants for Probabilistic Programs -- Synthesis of Optimal Resilient Control
View Other Search Results