%A Hong Anh Le
%A Ninh Thuan Truong
%A Shin Nakajima
%T Verifying eventuality properties of imprecise system requirements using event-B
%D 2015
%R doi:10.1145/2695664.2696038
%P 1651-1653
%L SisLab1647
%B Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15