Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Community Service
Posts
Light
Dark
Automatic
Bachelor Internship: BATMAN, a BAsic Thread-Modular ANalyzer
Raphaël Monat
2015-09-30
PDF
Slides
Type
Report
Raphaël Monat
PhD in Static Analysis
Cite
×