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

Click to See Next Image

Ranko Lazic enjoying the tea break on Tuesday.
First Previous Up Next Last