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