118 reputation
7
bio website frama-c.com
location EU
age 38
visits member for 1 years, 4 months
seen Mar 24 '13 at 13:24

I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://blog.frama-c.com/


This user has not answered any questions

2 Votes Cast

all time   by type  
2 up 0 question
0 down 2 answer