Registered user since Thu 18 Dec 2014

Name: Tie Cheng

Affiliation: CNRS, ENS, INRIA, Paris, France

Contributions

ESOP 2015Author of Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection within the ESOP-track