Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems

Miller, A. and Calder, M. (2009) Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science, 250(2), pp. 1-2. (doi:10.1016/j.entcs.2009.08.013)

Full text not currently available from Enlighten.


Item Type:Articles
Additional Information:Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS 2008)
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Miller, Dr Alice
Authors: Miller, A., and Calder, M.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Electronic Notes in Theoretical Computer Science
Publisher:Elsevier Science
ISSN:1571-0661
ISSN (Online):1571-0661
Published Online:01 September 2009

University Staff: Request a correction | Enlighten Editors: Update this record