YZ

Yunshan Zhu

31

Publications

5,117

Citations

17

h-index

17

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (20)
Book Chapter (9)
Book (2)

Filter by Open Access Type

Open Access (3)
Closed Access (28)

Filter by Authors

Yunshan Zhu (31)
Armin Biere (10)
David A. Plaisted (9)
Edmund M. Clarke (7)
James Kukula (4)

Filter by Topics

Formal Methods in Verification (22)
Software Testing and Debugging Techniques (8)
Logic, programming, and type systems (7)
Embedded Systems Design Techniques (6)
Logic, Reasoning, and Knowledge (6)