D. Nakae

DN

Statistics

Publications

1

Citations

171

H-Index

1

Active since

2003

D. Nakae is an author at Japan Science and Technology Agency specializing in system software, formal methods, and engineering.

Publications per year

2003–2003

1

Publications

1