TY  - RPRT
TI  - Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
AU  - Simon Foster
AU  - Kangfeng Ye
AU  - Ana Cavalcanti
AU  - Jim Woodcock
PY  - 2018
UR  - https://arxiv.org/abs/1806.02101
ID  - 1806.02101
ER  -