Formal methods and the future of programming

22 points by nextos