Skip to Content
Blog
Projects
Talks
Consulting
About
Books
Newsletter
The
TLA+ Conference
will be taking place in St. Louis on Sept 22, and
I'll be teaching a workshop
on Sept 21. Sign up
here
!
Hillel Wayne
Tag:
Opinion
Posted on
2020, Oct 28
Software correctness is a lot like flossing