Where are we going from here? Software engineering needs formal methods

📰 Hacker News · ntietz

Where are we going from here? Software engineering needs formal methods. 131 comments, 139 points on Hacker News.

Published 3 Jul 2021