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: | Miller, Professor Alice and Calder, Professor Muffy |
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