praalhans

Status: Active user
Joined: 6 years ago by invitation from varjag
Karma: 309, averaging 2.64 per story/comment
Stories Submitted: 24, most commonly tagged formalmethods
Comments Posted: 93
About: