TY  - RPRT
TI  - From Event-B to Verified C via HLL
AU  - Ning Ge
AU  - Arnaud Dieumegard
AU  - Eric Jenn
AU  - Laurent Voisin
PY  - 2016
UR  - https://arxiv.org/abs/1610.07410
ID  - 1610.07410
ER  -