Skip to main content

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach

Andrew Simpson

Book Title
Proceedings of FMTea 2019
Year
2019