TY  - RPRT
TI  - Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
AU  - Konstantinos Mamouras
PY  - 2016
DO  - 10.2168/lmcs-12(3:6)2016
UR  - https://arxiv.org/abs/1606.09110
ID  - 1606.09110
ER  -