Items where Author is "Nakajima, Shin"
Group by: Item Type | No Grouping Number of items: 1. 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. |
