Toggle navigation
Home
People
Departments
Research
About
Login
Search
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract).
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lawford, Mark
Araki, Keijiro
Kurita, Taro
publication date
2016
published in
ICFEM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-319-47845-6
Additional Document Info
start page
18
end page
25
volume
10009