From Intent to Proof: Dafny Verification for Web Apps

(midspiral.com)

5 points | by namin 9 hours ago ago

No comments yet.