This mod goes through how the different aspects of software engineering can be made formal.
Definitely recommend it. He is passionate and knows his stuff. He also constantly relates the content back to the high level view, so that we understand how the knowledge can be applied to software engineering.
Head over to our Shop for more module content!