Concepedia

Author

Yoji Nanjo

Waseda University

Also Known As

Yoji Nanjo

1

Publications

25

Citations

1

H-Index

11

Concepts

All Affiliations

Waseda University
YN

About

Yoji Nanjo is an author at Waseda University specializing in formal methods, software design, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

25

2

Computer Science

1

1

25

3

Systems Engineering

1

1

25

4

Software Analysis

1

1

25

5

Automated Reasoning

1

1

25

Yoji Nanjo

×

1

Publications

25

Citations

1

H-Index

YearCitations

Page 1