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/ReportEdited BookScientificpeer-review

Abstract

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

Cite this