• Formal Verification of Practic...

*Result*: Formal Verification of Practical MPI Programs

Title:
Formal Verification of Practical MPI Programs
Principles and Practice of Parallel Programming
Authors:
Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.
Source:
ACM SIGPLAN NOTICES. (4):261-270
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN073183648&indx=1&recIds=ETOCCN073183648
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings