158 reputation
19
bio website frama-c.com
location EU
age 39
visits member for 2 years, 5 months
seen yesterday

I work on the static analysis of C programs.


158 Reputation

10 Jan 3
5 Dec 29 '14
5 Dec 26 '14
5 Dec 25 '14
15 Dec 24 '14
17 Dec 23 '14
100 Aug 26 '12