Barringer, Howard: A Survey of Verification Techniques for Parallel Programs | DealShopping Deutschland