Improving Angel's Parallel Operator: Gumtree's Approach

Improving Angel's Parallel Operator: Gumtree's Approach

Bibliographic Details
Main Authors: Martin, A, Nickson, R, Utting, M
Format: Report
Published: Software Verification Research Centre 1997

Similar Items