TY  - BOOK
AU  - Barringar, Howard.
TI  - A survey of verification techniques for parallel programs
CY  - Berlin
ER  -