EasyChair Smart Slide
 
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach
 
1
2
3
4
5
6
7
8
1
2
3
4