Login / Signup
Zhi Li
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 23
Top Topics
Elimination Algorithm
Embedded Devices
Smart City
Symbolic Execution
Top Venues
CoRR
IEEE Trans. Dependable Secur. Comput.
ACM Trans. Softw. Eng. Methodol.
ICC
</>
Publications
</>