A Survey of Verification Techniques for Parallel Programs
1.44 MiB
Download ready in 3s