TY  - RPRT
TI  - BEval: A Plug-in to Extend Atelier B with Current Verification Technologies
AU  - Valério Medeiros Jr.
AU  - David Déharbe
PY  - 2014
DO  - 10.4204/eptcs.139.5
UR  - https://arxiv.org/abs/1401.0972
ID  - 1401.0972
ER  -