1 search result for "author:"Jérôme Boillot""

Showing 1 - 1
  1. mopsa
    Documentation
    MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
    Antoine Miné Abdelraouf Ouadjaout Matthieu Journault Aymeric Fromherz Raphaël Monat et al.
    1.1
    LGPL-3.0-or-later
    Used by 0 other packages
    06 Feb 2025