Status: Active user
Joined: 1 year ago by invitation from emersion
Karma: 9, averaging 4.50 per story/comment
Stories Submitted: 2, most commonly tagged formalmethods
Comments Posted: 0
About: