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

Click to See Next Image

Mike Dodds: Static Checking of Structural Properties of Heap Data
First Previous Up Next Last