![](/img/cover-not-exists.png)
[ACM Press the 21st ACM SIGPLAN Symposium - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 - Verification of MPI Java programs using software model checking
Rehman, Waqas Ur, Ayub, Muhammad Sohaib, Siddiqui, Junaid HaroonYear:
2016
Language:
english
DOI:
10.1145/2851141.2851192
File:
PDF, 119 KB
english, 2016