technically a blog

#formal-methods

• 2021-07-03: Where are we going from here? Software engineering needs formal methods