Status: Active user
Joined: 2 years ago by invitation from aleph
Karma: 110, averaging 1.67 per story/comment
Stories Submitted: 15, most commonly tagged formalmethods
Comments Posted: 51
About: