Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 7/59
Lunch, 12th September