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 Members Xavier Rival Team leader Nathalie Gaudechoux Team assistant News The unexpected avenues of technology transfer with Matrix Lead 18/10/2018 The unexpected avenues of technology transfer with Matrix Lead 13/11/2019 See more news Discover similar project-teams about the same theme