1 search result for "author:"Francesco Parolini""

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.0
    LGPL-3.0-or-later
    Used by 0 other packages
    21 Jul 2024