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

Click to See Next Image

Pavel Erlebach: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures
First Previous Up Next Last