Preface Authors David Pichardie Univ Rennes, IRISA, Inria Mihaela Sighireanu LIAFA/University of Paris Diderot DOI: https://doi.org/10.14279/tuj.eceasst.76.1071 Abstract Preface Downloads PDF Published 2019-05-14 Issue Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018) Section Preface