Formal Methods TeachingJoão F. Ferreira, Alexandra Mendes, Claudio Menghi · First published 2021Open the Tome