Electronic Notes in Theoretical Computer Science, Volume 185

Volume 185, July 2007

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)