Tags

avocat

Compiler for the French Tax Code

abstract interpretation

dynamic programming languages

internship

python

static analysis

coq

floating point

formal verification