Preface

Gudmund Grov, Andrew Ireland

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.


Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.72.1017

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.72.1017.994

Hosted By Universitätsbibliothek TU Berlin.