Cited By
View all- Araki KKurita T(2016)Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa’s Case (Extended Abstract)Formal Methods and Software Engineering10.1007/978-3-319-47846-3_2(18-25)Online publication date: 15-Oct-2016