TY  - RPRT
TI  - The Unit-B Method -- Refinement Guided by Progress Concerns
AU  - Simon Hudon
AU  - Thai Son Hoang
AU  - Jonathan S. Ostroff
PY  - 2020
DO  - 10.1007/s10270-015-0456-2
UR  - https://arxiv.org/abs/1810.10143
ID  - 1810.10143
ER  -