technically a blog
home
|
blog
/
tags
|
newsletter
|
projects
#formal-methods
2021-07-03:
Where are we going from here? Software engineering needs formal methods