109 reputation
2
bio website frama-c.com
location EU
age 38
visits member for 2 years, 1 month
seen Aug 5 '13 at 7:11

I work on the static analysis of C programs.