Login / Signup
Zhao-Hui Li
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Knowledge Transfer
Context Dependent
Refinement Step
Digital Content
Top Venues
Frontiers Comput. Sci.
J. Comput. Sci. Technol.
</>
Publications
</>
Zhao-Hui Li
,
Xin-Yu Feng
A program logic for obstruction-freedom.
Frontiers Comput. Sci.
18 (6) (2024)
Zhao-Hui Li
,
Xin-Yu Feng
Verifying Contextual Refinement with Ownership Transfer.
J. Comput. Sci. Technol.
36 (6) (2021)