109 reputation
2
bio website frama-c.com
location EU
age 38
visits member for 2 years, 2 months
seen Oct 4 at 8:39

I work on the static analysis of C programs.