This page shows all presentations of this author published in EasyChair Smart Slide.
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach
Andrew Simpson