TY  - BOOK
AU  - Barringer Howard
TI  - Survey of verification techniques for parallel programs
U1  - 004.35 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer system
KW  - Parallel computing
ER  -