Formal Methods and the Future of Programming

Formal Methods and the Future of Programming

66 points

1/21/1970

5 days ago

by nextos

Comments

Taikonerd

Dupe of https://news.ycombinator.com/item?id=48526633

5 hours ago