logoalt Hacker News

Formal Methods and the Future of Programming

66 pointsby nextoslast Thursday at 10:07 PM1 commentview on HN

Comments