Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Students
Community Service
Ph.D
Contact
Light
Dark
Automatic
Tags
raisin
avocat
Compiler for the French Tax Code
abstract interpretation
dynamic programming languages
internship
python
static analysis
coq
floating point
»
Cite
×