Preface

Authors

  • Michael Harrison
  • Mieke Massink

DOI:

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

Downloads

Published

2010-01-08

How to Cite

[1]
M. Harrison and M. Massink, “Preface”, eceasst, vol. 22, Jan. 2010.

Issue

Vol. 22 (2009): Formal Methods for Interactive Systems 2009

Section

Preface

License

Creative Commons License

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