Project-team ANTIQUE Static Analysis by Abstract Interpretation Static Analysis by Abstract Interpretation
Centre(s) inria Paris Publications HALActivity reportsTeam's website Members Xavier Rival Team leader Nathalie Gaudechoux Team assistant Meriem Guemair 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