Preface

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Brijesh Dongol, Luigia Petre, Graeme Smith
Redaktörer: Brijesh Dongol, Luigia Petre, Graeme Smith
Publiceringsår: 2019
Moderpublikationens namn: Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019
Seriens namn: Lecture Notes in Computer Science
Volym: 11758
Artikelns första sida, sidnummer: v
Artikelns sista sida, sidnummer: vi
ISBN: 978-3-030-32440-7

Senast uppdaterad 2020-27-05 vid 04:54