Calculating Precision: Thoughts on Dijkstra’s Formal Methodsfacebook.com1 point·bordercases··0 commentsOpen articleSaveView on HN