Hacker News new | ask | show | jobs
by cartoonfoxes 3153 days ago
Formal methods and provably-correct software.
1 comments
jhanschoo 3153 days ago
I have a soft spot for formal methods, but how do you see this taking off?
link