lthms

Status: Active user
Joined: 6 years ago by invitation from vhf
Karma: 977, averaging 5.22 per story/comment
Stories Submitted: 42, most commonly tagged formalmethods
Comments Posted: 145
About: