Preface

Tiziana Margaria, Bernhard Steffen

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)V-VI
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9952 LNCS
Publication statusPublished - 2016
Externally publishedYes
Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Greece
Duration: 10 Oct 201614 Oct 2016

Cite this