109 reputation
2
bio website frama-c.com
location EU
age 38
visits member for 2 years, 3 months
seen Dec 5 at 8:53

I work on the static analysis of C programs.