author-photo

Haozhong Zhang

University of Science and Technology of China

4

Papers

118

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

Formal Verification of Interrupt Injection in a Hypervisor

2014 TASE | Theoretical Aspects of Software Engineering
- Haozhong Zhang
- Yu Guo
Show All
- Source
- Cite
- Save
Citations (0)