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
Deposit and Record Details
Deposit and Record Details