Mohammed H. Abdulwahhab

Orcid: 0009-0003-2988-4620

According to our database¹, Mohammed H. Abdulwahhab authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs.

[DOI]

Comput., 2025