![](/img/cover-not-exists.png)
[ACM Press the 14th ACM SIGPLAN symposium - Raleigh, NC, USA (2009.02.14-2009.02.18)] Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09 - Formal verification of practical MPI programs
Vo, Anh, Vakkalanka, Sarvani, DeLisi, Michael, Gopalakrishnan, Ganesh, Kirby, Robert M., Thakur, RajeevYear:
2008
Language:
english
DOI:
10.1145/1504176.1504214
File:
PDF, 493 KB
english, 2008