Concepedia

Author

Akihiro Murase

The University of Tokyo

Also Known As

Akihiro Murase

2

Publications

35

Citations

2

H-Index

9

Concepts

All Affiliations

The University of Tokyo
AM

About

Akihiro Murase is an author at The University of Tokyo specializing in formal specification, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

30

2

Computer Science

1

1

30

3

Software Analysis

1

1

30

4

Automated Reasoning

1

1

30

5

Formal Methods

1

1

30

Akihiro Murase

×

1

Publications

30

Citations

1

H-Index

YearCitations

Page 1