Items where Author is "Nakajima, Shin"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemLe, Hong Anh and Truong, Ninh Thuan and Nakajima, Shin (2015) Verifying eventuality properties of imprecise system requirements using event-B. In: SAC 2015, 2015. |
