Brijesh Dongol, Luigia Petre, Graeme Smith

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationFormal Methods Teaching, third International Workshop and Tutorial, FMTea 2019
EditorsBrijesh Dongol, Luigia Petre, Graeme Smith
PublisherSpringer Verlag
ISBN (Print)978-3-030-32440-7
Publication statusPublished - 2019
MoE publication typeA3 Part of a book or another research book

Cite this