1 paper
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Academic research in static analysis produces software implementations. These implementations are time-consuming to develop and some need to be maintained in order to enable buildi…