Preface

Authors

  • Gudmund Grov Heriot-Watt University
  • Andrew Ireland Heriot-Watt University

DOI:

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

Abstract

The 15th International Workshop on Automated Verification of Critical Systems was hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 2-4, 2015 in Edinburgh, United Kingdom.  The 6th AI4FM workshop, which was held on 1 September, was co-located with AVoCS.

Downloads

Published

2015-11-25

How to Cite

[1]
G. Grov and A. Ireland, “Preface”, eceasst, vol. 72, Nov. 2015.

Issue

Vol. 72 (2015): Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

Section

Preface

License

Copyright (c) 2015 Electronic Communications of the EASST

Creative Commons License

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