Concepedia

Author

X. Wang

Hong Kong Polytechnic University

Also Known As

X. WANG, X. Wang

5

Publications

102

Citations

2

H-Index

9

Concepts

All Affiliations

Hong Kong Polytechnic University
XW

About

X. Wang is an author at Hong Kong Polytechnic University specializing in formal methods, software engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

14

2

Computer Science

1

1

14

3

Systems Engineering

1

1

14

4

Software Engineering

1

1

14

5

Automated Reasoning

1

1

14

X. Wang

×

2

Publications

101

Citations

2

H-Index

YearCitations

Page 1