Formal methods and the future of programming

[eatonphil]

Article URL: Formal methods and the future of programming

Comments URL: Formal methods and the future of programming | Hacker News

Points: 141

# Comments: 47

Continue reading...