Preface

Brijesh Dongol, Luigia Petre, Graeme Smith

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019
Editors	Brijesh Dongol, Luigia Petre, Graeme Smith
Publisher	Springer Verlag
Pages	v–vi
ISBN (Print)	978-3-030-32440-7
Publication status	Published - 2019
MoE publication type	A3 Part of a book or another research book

Access to Document

@inbook{3a7d3c9be1904c339ecd9251793d6f1a,

title = "Preface",

author = "Brijesh Dongol and Luigia Petre and Graeme Smith",

year = "2019",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-030-32440-7",

pages = "v–vi",

editor = "Brijesh Dongol and Luigia Petre and Graeme Smith",

booktitle = "Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019",

publisher = "Springer Verlag",

}