Write a Blog >>

Not registered as user yet

Name: Andrea Turrini

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

Contributions

ESEC/FSE 2020Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
Show activities from other conferences

Using general profile