Kwangkeun Yi

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Static Analysis

Computationally Feasible

Top Venues

ACM Trans. Program. Lang. Syst.

Softw. Pract. Exp.

Publications