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

I work on the static analysis of C programs.


109 Reputation

100 Aug 26 '12
+100 13:21 assoc
8 Jun 9 '11
+10 / -2 16:37 2 events