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

Click to See Next Image

Michael Goldsmith, chairing Tuesday's morning session.
First Previous Up Next Last