title: Proceedings of the 11th workshop on Automated Verification of Critical Systems
creator: Bendisposto, Jens
creator: Jones, Cliff
creator: Leuschel, Michael
creator: Romanovsky, Alexander
subject: Event-B
subject: Methodology
subject: Tool developments
description: 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.
publisher: Newcastle University
contributor: Bendisposto, Jens
contributor: Jones, Cliff
contributor: Leuschel, Michael
contributor: Romanovsky, Alexander
date: 2011-09
type: Book
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf
identifier:   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.      
relation: http://deploy-eprints.ecs.soton.ac.uk/330/