TY  - RPRT
TI  - SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
AU  - Alvaro Miyazawa
AU  - Ana Cavalcanti
PY  - 2016
DO  - 10.4204/eptcs.209.6
UR  - https://arxiv.org/abs/1606.02021
ID  - 1606.02021
ER  -