N ntietz.com Where are we going from here? Software engineering needs formal methods 139 points ntietz 5 years ago 131 comments
