TY  - RPRT
TI  - Unifying Theories of Reactive Design Contracts
AU  - Simon Foster
AU  - Ana Cavalcanti
AU  - Samuel Canham
AU  - Jim Woodcock
AU  - Frank Zeyda
PY  - 2019
DO  - 10.1016/j.tcs.2019.09.017
UR  - https://arxiv.org/abs/1712.10233
ID  - 1712.10233
ER  -