Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Posts
Light
Dark
Automatic
Tags
abstract interpretation
dynamic programming languages
internship
python
static analysis
coq
floating point
formal verification
hol4
probabilistic programming
Cite
×