Registered user since Wed 17 Nov 2021

Name:Jiaxin Song
Country:China
Affiliation:Shanghai Jiao Tong University

Contributions

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