Status: Active user
Joined: 5 years ago by invitation from kev009
Karma: 170, averaging 6.80 per story/comment
Stories Submitted: 9, most commonly tagged formalmethods
Comments Posted: 16
About: