TY  - RPRT
TI  - Safety-Critical Java: Level 2 in Practice
AU  - Matt Luckcuck
AU  - Andy Wellings
AU  - Ana Cavalcanti
PY  - 2018
DO  - 10.1002/cpe.3951
UR  - https://arxiv.org/abs/1805.10710
ID  - 1805.10710
ER  -