1. 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 /: 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. (2019) Editors: Dongol, Brijesh; Petre, Luigia, 1974-; Smith, Graeme, 1966- Other Names: FMTea (Workshop), 3rd; International Symposium of Formal Methods Europe, 3rd Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗