Statistics
Publications
1
Citations
14
H-Index
1
Active since
2002
Affiliations
NEC (Japan)(Current)
Masaki Uno is an author at NEC (Japan) specializing in system software, computer engineering, and formal verification.
Publications per year
2002–2002
1
1
1–1 of 1