Not registered as user yet

Name: Andrea Turrini

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

Contributions

PLDI 2018Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
Show activities from other conferences

Using general profile