Concepedia

Author

Tania Armstrong

The University of Melbourne

Also Known As

Tania Armstrong

3

Publications

137

Citations

2

H-Index

8

Concepts

All Affiliations

The University of Melbourne
TA

About

Tania Armstrong is an author at The University of Melbourne specializing in automated reasoning, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

95

2

Computer Science

1

1

95

3

Software Analysis

1

1

95

4

Automated Reasoning

1

1

95

5

Circuit Complexity

1

1

95

Tania Armstrong

×

1

Publications

95

Citations

1

H-Index

YearCitations

Page 1