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

Click to See Next Image

The Workshop Dinner, with Leonor Prensa Nieto getting started on her meal.
First Previous Up Next Last