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

Click to See Next Image

Graham Birtwistle, Nestor Catano and Markus Roggenbach at the workshop dinner.
First Previous Up Next Last