@inproceedings{SisLab1647,
       booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15},
           title = {Verifying eventuality properties of imprecise system requirements using event-B},
          author = {Hong Anh Le and Ninh Thuan Truong and Shin Nakajima},
            year = {2015},
           pages = {1651--1653},
             doi = {doi:10.1145/2695664.2696038},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/}
}