Why don't people use formal methods? (2019)

 (hillelwayne.com)

128 points | by Thom2503 4 days ago ago

119 comments