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

Click to See Next Image

Dimitar Guelev: Synthesising Features by Games
First Previous Up Next Last