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

Click to See Next Image

Graham Birtwistle, chairing the final session on Tuesday 13th.
First Previous Up Next Last