TY  - CONF
ID  - SisLab1647
UR  - http://dx.doi.org/10.1145/2695664.2696038
A1  - Le, Hong Anh
A1  - Truong, Ninh Thuan
A1  - Nakajima, Shin
Y1  - 2015///
TI  - Verifying eventuality properties of imprecise system requirements using event-B
SP  - 1651
AV  - none
EP  - 1653
T2  - SAC 2015
ER  -