To search, Click below search items.
All Published Papers Search Service
Title
Dynamic Verification for File Safety of Multithreaded Programs
Author
Mohamed A. El-Zawawy, Nagwan M. Daoud
Vol. 12 No. 5 pp. 14-20
Keywords
File safety, Operational semantics, Rewriting logic, Multi-threaded programs