amw-zero

Status: Active user
Joined: 8 months ago by invitation from mrjoes
Karma: 142, averaging 2.06 per story/comment
Stories Submitted: 1, most commonly tagged formalmethods
Comments Posted: 68
About: