Vu, Dieu Huong and Truong, Anh Hoang and Chiba, Yuki and Aoki, Toshiaki (2017) Automated testing reactive systems from Event-B model. In: 2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science, 24-25 November2017, Ha Noi, Viet Nam.