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

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