@BOOK{ Book!D - 101373232, AUTHOR = "Howard Barringer", TITLE = "A Survey of verification techniques for parallel programs", LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی", SUBJECT = "، Parallel processing )Electronic computers(,، Computer programs -- Verification", URL = "/book/101373232/A-Survey-of-verification-techniques-for-parallel-p/"}