nextos

Status: Active user
Joined: 2 years ago by invitation from bandali
Karma: 141, averaging 2.20 per story/comment
Stories Submitted: 5, most commonly tagged formalmethods
Comments Posted: 58
About:

gammel (dot) holte (at) gmail (dot) com