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