TY  - RPRT
TI  - Automating Verification of Event-B Models
AU  - Paulius Stankaitis
AU  - Alexei Iliasov
AU  - David Adjepon-Yamoah
AU  - Alexander Romanovsky
PY  - 2016
UR  - https://arxiv.org/abs/1611.02923
ID  - 1611.02923
ER  -