Items related to A Survey of Verification Techniques for Parallel Programs...

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science) - Softcover

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)