TY  - BOOK
A1  - Barringer, Howard
TI  - A survey of verification techniques for parallel programs
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72112330
UR  /book/72112330/A-survey-of-verification-techniques-for-parallel-p/
ER  -