Formal Methods for Software Development | TDA294/DIT272, LP1, HT2023 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lectures and Exercises | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Times, Place, Content, Slides Copies of the lecture slides will be provided shortly after each lecture. Exercises will be published before the first lecture on the topic of the exercise. After the exercise class we publish sketches of the solutions.
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
W. Ahrendt |