Concepedia

Author

Hinata Yanagi

University of Tsukuba

Also Known As

Hinata Yanagi

1

Publications

16

Citations

1

H-Index

12

Concepts

All Affiliations

University of Tsukuba
HY

About

Hinata Yanagi is an author at University of Tsukuba specializing in formal verification, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Engineering

1

1

16

3

Computer Science

1

1

16

4

Systems Engineering

1

1

16

5

Software Analysis

1

1

16

Hinata Yanagi

×

1

Publications

16

Citations

1

H-Index

YearCitations

Page 1