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

Click to See Next Image

Cliff Jones: Tackling Partial Functions in the Formal Development of Programs
First Previous Up Next Last