Wajdi H. Al-Jedaibi, Ph.D.
Affiliations: | 2001 | George Mason University, Washington, DC |
Area:
Computer ScienceGoogle:
"Wajdi Al-Jedaibi"Parents
Sign in to add mentorRichard H. Carver | grad student | 2001 | George Mason | |
(An extended CSPE-based method for specification -based testing of concurrent programs.) |