Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems. Newcastle University.
|
PDF
7Mb |
Abstract
This volume contains the proceedings of the 11th workshop on Automated Verification of Critical Systems that was hosted by Newcastle University and took place during September 12-14, 2011 in Newcastle upon Tyne, UK. The workshop is supported by DEPLOY.
| Item Type: | Book |
|---|---|
| Subjects: | Event-B Methodology Tool developments |
| ID Code: | 330 |
| Deposited By: | Prof A Romanovsky |
| Deposited On: | 02 Sep 2011 08:43 |
| Last Modified: | 18 May 2012 14:19 |
Repository Staff Only: item control page
