Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 8/59
Flowers outside Arden House