Hackernews
new
show
ask
jobs
Program verification is not all-or-nothing
1 points
posted 9 hours ago
by tempodox
(lawrencecpaulson.github.io)
No comments yet