Nham Le

发表

Nham Le, Ramesh R. Manuvinakurike, Walter Chang, 2018, ArXiv.

Nham Le, Arie Gurfinkel, Xujie Si, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).