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

Published

2019-05-14

How to Cite

[1]
D. Pichardie and M. Sighireanu, “Preface”, eceasst, vol. 76, May 2019.

Issue

Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)

Section

Preface

License

Copyright (c) 2019 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.