Formal Methods Teaching - Catherine Dubois, Pierluigi San Pietro; San Pietro, Pierluigi (Springer Nature Switzerland, 2023)