Concepedia

Author

Anastasia Mironova

University of Massachusetts Amherst

Also Known As

Anastasia Mironova

2

Publications

140

Citations

2

H-Index

14

Concepts

All Affiliations

University of Massachusetts AmherstUniversity of Utah
AM

About

Anastasia Mironova is an author at University of Massachusetts Amherst specializing in formal methods, parallel programming, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

140

2

Computer Engineering

2

2

140

3

Computer Science

2

2

140

4

Software Analysis

2

2

140

5

Systems Engineering

1

1

75

Anastasia Mironova

×

2

Publications

140

Citations

2

H-Index

YearCitations

Page 1