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

Click to See Next Image

Aleksandar Dimovski: Data-Abstraction Refinement for Game Semantics Based Model Checking
First Previous Up Next Last