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

Brijesh Dongol (Editor), Luigia Petre (Editor), Graeme Smith (Editor)

Research output: Book/Journal/ReportEdited Book/Edited JournalScientificpeer-review


Original languageUndefined/Unknown
PublisherSpringer Verlag
ISBN (Print)978-3-030-32440-7
Publication statusPublished - 2019
MoE publication typeC2 Edited work

Cite this