Not registered as user yet

Name:Hongming Liu
Country:China
Affiliation:Shanghai Jiao Tong University

Contributions

SPLASH 2022 Author of Scalable Linear Invariant Generation with Farkas’ Lemma within the V-OOPSLA-track