Statistics
Publications
1
Citations
20
H-Index
1
Active since
2002
Affiliations
Hitachi (Japan)(Current)
M. Fukagawa is an author at Hitachi (Japan) specializing in software design, formal methods, and type systems.
Publications per year
2002–2002
1
1
A mapping system from Object-Z to C++
M. Fukagawa, Teruo Hikita, Hiromitsu Yamazaki · 2002 · 20 citations
1–1 of 1