Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 1/59
Opening of AVoCS'05 by organiser Ranko Lazic