@BOOK{ Book!D - 77770896, AUTHOR = "Barringer, Howard", TITLE = "A survey of verification techniques for Parallel programs", LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد", SUBJECT = "، Parallel processing )Electronic computers(,Verification ، Computer programs", URL = "/book/77770896/A-survey-of-verification-techniques-for-Parallel-p/"}