jeeger

Status: Active user
Joined: 5 years ago by invitation from Leonidas
Karma: 133, averaging 4.03 per story/comment
Stories Submitted: 4, most commonly tagged formalmethods
Comments Posted: 29
About: