Nagwan Moustafa Daoud

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Safety Analysis

Plan Generation

Top Venues

Comput. Inf. Sci.

Publications

Mohamed A. El-Zawawy, Nagwan Moustafa Daoud
Dynamic Verification for File Safety of Multithreaded Programs CoRR (2012)
Mohamed A. El-Zawawy, Nagwan Moustafa Daoud
New Error-recovery Techniques for Faulty-Calls of Functions. Comput. Inf. Sci. 5 (3) (2012)