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

Click to See Next Image

Rajagopal Nagarajan, Ranko Lazic, and Marcin Jurdzinski enjoying a tea break.
First Previous Up Next Last