Preface

Authors

  • Marieke Huisman University of Twente
  • Jaco van de Pol University of Twente

DOI:

https://doi.org/10.14279/tuj.eceasst.70.972

Downloads

Published

2014-11-18

How to Cite

[1]
M. Huisman and J. van de Pol, “Preface”, eceasst, vol. 70, Nov. 2014.

Issue

Vol. 70 (2014): Automated Verification of Critical Systems 2014

Section

Preface

License

Creative Commons License

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