Concepedia

Author

Nguyen Hoang Nga

University of Nottingham

Also Known As

H. Nga Nguyen, Nguyen Hoang Nga, Nguyen, Hoang Nga

15

Publications

139

Citations

7

H-Index

9

Concepts

All Affiliations

University of Nottingham
NH

About

Nguyen Hoang Nga is an author at University of Nottingham specializing in formal verification, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

62

2

Computer Science

2

2

62

3

Automated Reasoning

2

2

62

4

Formal Methods

2

2

62

5

Systems Engineering

1

1

43

Nguyen Hoang Nga

×

4

Publications

100

Citations

4

H-Index

YearCitations

Page 1