relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/
title: Verifying eventuality properties of imprecise system requirements using event-B
creator: Le, Hong Anh
creator: Truong, Ninh Thuan
creator: Nakajima, Shin
subject: Information Technology (IT)
date: 2015
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Le, Hong Anh and Truong, Ninh Thuan and Nakajima, Shin  (2015) Verifying eventuality properties of imprecise system requirements using event-B.  In: SAC 2015, 2015.     
relation: http://dx.doi.org/10.1145/2695664.2696038
relation: doi:10.1145/2695664.2696038