Rigorous Methods for Software Engineering

Lecturer, School of Mathematical and Computer Sciences, Heriot-Watt University, 2024