Concepedia

Author

Haobo Zhang

National University of SingaporeORCID

Also Known As

H.M. Zhang, Haobo Zhang

3

Publications

12

Citations

1

H-Index

3

Concepts

All Affiliations

National University of Singapore
HZ

About

Haobo Zhang is an author at National University of Singapore specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

11

2

Automated Reasoning

1

1

11

3

Formal Methods

1

1

11

Haobo Zhang

×

1

Publications

11

Citations

1

H-Index

YearCitations

Page 1