Write a Blog >>

Registered user since Tue 14 Dec 2021

Name:Andrea Turrini
Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Contributions

ESEC/FSE 2020 SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile