TY  - RPRT
TI  - A Formal Model of the Safety-Critical Java Level 2 Paradigm
AU  - Matt Luckcuck
AU  - Ana Cavalcanti
AU  - Andy Wellings
PY  - 2018
DO  - 10.1007/978-3-319-33693-0_15
UR  - https://arxiv.org/abs/1805.10711
ID  - 1805.10711
ER  -