Hong Anh Le, Loan Dinh Thi, Ninh-Thuan Truong. Modeling and Verifying Imprecise Requirements of Systems Using Event-B. In Van-Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh-Cuong Le, Son Bao Pham, editors, Knowledge and Systems Engineering - Proceedings of the Fifth International Conference, KSE 2013, Volume 1, Hanoi, Vietnam, 17-19 October, 2013. Volume 244 of Advances in Intelligent Systems and Computing, pages 313-325, Springer, 2013. [doi]
Abstract is missing.