101 reputation
2
bio website frama-c.com
location EU
age 38
visits member for 11 months
seen Jan 14 at 20:00

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