TY  - BOOK
AU  - Barringer Howard
TI  - Survey of verification techniques for parallel programs
T2  - Lectuer notes in computer science; 191
U1  - D65,8(B)92, M5 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag      
KW  - Computer programming
ER  -