Skip to Content
Blog
Projects
Talks
Consulting
About
Books
Newsletter
New:
We're accepting proposals for the
2021 TLA+ Conference
! Submission deadline is July 1, conference is Sept 30.
Apply here
.
Hillel Wayne
Tag:
Opinion
Posted on
2020, Oct 28
Software correctness is a lot like flossing