101 reputation
2
bio website frama-c.com
location EU
age 39
visits member for 1 year, 8 months
seen Aug 8 at 6:44

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
This user has not asked any questions
This user has not participated in any tags

1 Vote Cast

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