Preface

A3 Book section, Chapters in research books


Internal Authors/Editors


Publication Details

List of Authors: Brijesh Dongol, Luigia Petre, Graeme Smith
Editors: Brijesh Dongol, Luigia Petre, Graeme Smith
Publication year: 2019
Book title: Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019
Title of series: Lecture Notes in Computer Science
Volume number: 11758
Start page: v
End page: vi
ISBN: 978-3-030-32440-7

Last updated on 2020-29-03 at 09:20