Cheng-Hao Cai

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Abstract Machine

Logical Reasoning

Transition Model

Formal Verification

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications