%0 Book
%A Barringer, Howard
%T A survey of verification techniques for Parallel programs
%U /book/77770896/A-survey-of-verification-techniques-for-Parallel-p/