TY  - RPRT
TI  - Modelling an Aircraft Landing System in Event-B (Full Report)
AU  - Dominique Méry
AU  - Neeraj Kumar Singh
PY  - 2014
UR  - https://arxiv.org/abs/1407.0927
ID  - 1407.0927
ER  -