TY  - GEN
DO  - 10.1007/978-3-030-32441-4
DO  - doi
T1  - Formal methods teaching :third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
AU  - Dongol, Brijesh,
AU  - Petre, Luigia,
AU  - Smith, Graeme,
VL  - 11758
CN  - QA76.9.F67
ID  - 914843
KW  - Formal methods (Computer science)
SN  - 9783030324414
SN  - 3030324419
TI  - Formal methods teaching :third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-32441-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-32441-4
ER  -