Lobsters
- Making Software 'Correct by Construction' https://www.youtube.com/watch?index=10&list=PLU3TaPgchJtSby7qo1KpvGOxYP9UbnvT8&v=03mUs5NlT6U 2 comments formalmethods , practices , video
Linking pages
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- Is Uncle Bob serious? - DEV Community https://dev.to/bosepchuk/is-uncle-bob-serious-dhi 171 comments
- The broken promise of static typing - DEV Community https://dev.to/danlebrero/the-broken-promise-of-static-typing 10 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.youtube.com
Search title: Making Software 'Correct by Construction' - Professor Martyn Thomas CBE - YouTube
See how to search.