Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach

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

Links

See Also

Back to Top