ignatius

Status: Active user
Joined: 2 years ago by invitation from emersion
Karma: 9, averaging 4.50 per story/comment
Stories Submitted: 2, most commonly tagged formalmethods
Comments Posted: 0
About: