Slides from a lesson on formal methods for software engineering.
The beamer template used in these slides is unina-beamer
luistar/informal-intro-to-formal-methods-slides
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.