%0 Conference Paper
%A Le, Hong Anh
%A Truong, Ninh Thuan
%A Nakajima, Shin
%B SAC 2015
%D 2015
%F SisLab:1647
%P 1651-1653
%T Verifying eventuality properties of imprecise system requirements using event-B
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/