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