Seuraa
Waqas Ur Rehman
Waqas Ur Rehman
Reserach Associate at Dept. of Computer Science University of Saskatchewan
Vahvistettu sähköpostiosoite verkkotunnuksessa usask.ca
Nimike
Viittaukset
Viittaukset
Vuosi
Experience report: Verifying mpi java programs using software model checking
MS Ayub, WU Rehman, JH Siddiqui
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
32017
Verification of MPI Java programs using software model checking
WU Rehman, MS Ayub, JH Siddiqui
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
32016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–2