Profile cover photo
Profile photo
Thomas Keschl
38 followers
38 followers
About
Posts

Anyone know if there is any work being done on specification and verification (akin to Spec# or JML) in Go? I have a particular interest in this topic and a moderately serious search hasn't provided any answers so far. Is something like this even possible?
Wait while more posts are being loaded