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

Click to See Next Image

Rajagopal Nagarajan and Graham Birtwistle at the workshop dinner.
First Previous Up Next Last