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

Click to See Next Image

Marcin Jurdzinski and Nick Papanikolaou, during a tea break.
First Previous Up Next Last