Formal Methods Teaching - Dongol; Petre, Luigia; Smith, Graeme (Springer International Publishing, 2019)