Bachelor Internship: BATMAN, a BAsic Thread-Modular ANalyzer

Raphaël Monat
Raphaël Monat
PhD in Static Analysis