Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 59/59

Click to See Next Image

Closing of AVoCS'05 by organiser Ranko Lazic
First Previous Up