Preface

Authors

  • Alexander Romanovsky Newcastle University
  • Cliff Jones
  • Jens Bendiposto
  • Michael Leuschel

DOI:

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

Downloads

Published

2012-03-01

How to Cite

[1]
A. Romanovsky, C. Jones, J. Bendiposto, and M. Leuschel, “Preface”, eceasst, vol. 46, Mar. 2012.

Issue

Vol. 46 (2012): Automated Verification of Critical Systems 2011

Section

Preface

License

Creative Commons License

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