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