Hira Taqdees Syeda

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal Reasoning Under Cached Address Translation
Hira Taqdees Syeda and others (2020) · Journal of Automated Reasoning · Springer Science and Business Media LLC
Low-level program verification under cached address translation
Hira Taqdees Syeda (2019)
Program Verification in the Presence of Cached Address Translation
Hira Taqdees Syeda and others (2018) · Springer International Publishing