logoalt Hacker News

Formal Methods and the Future of Programming

64 points • by nextos • last Thursday at 10:07 PM • 1 comment • view on HN

Comments