author-photo

Jingyu Liu

University of Electronic Science and Technology of China

2

Papers

4

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

Formalizing and Verifying GP TEE TA Interface Specification Using Coq

2017
Show All
- Source
- Cite
- Save
Citations (0)