TY  - BOOK
AU  - João F. Ferreira, Alexandra Mendes, Claudio Menghi
TI  - Formal Methods Teaching
SN  - 9783030915506
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-91550-6
ER  -