Formal Methods Teaching - Dongol, Brijesh (Springer International Publishing, 2020)