Status: Active user
Joined: 4 years ago by invitation from gandro
Karma: 35, averaging 11.67 per story/comment
Stories Submitted: 2, most commonly tagged formalmethods
Comments Posted: 1
About: