Project-team ANTIQUE Static Analysis by Abstract Interpretation Static Analysis by Abstract Interpretation
Centre(s) inria Inria Paris Centre In partnership with CNRS,Ecole normale supérieure de Paris Publications HALActivity reportsTeam's website Contacts Xavier Rival Team leader Meriem Guemair Team assistant Diana Marino Duarte Team assistant News The unexpected avenues of technology transfer with Matrix Lead 13/11/2019 The unexpected avenues of technology transfer with Matrix Lead 18/10/2018 See more news Discover similar project-teams about the same theme