توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

(9316557), M. W. A., (2836613), M. R., (9316554), F. A., (19672540), A. N., (3923483), M. K., & (2852081), W. H. B. (2020). A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

(9316557), Muhammad Waseem Anwar, Muhammad Rashid (2836613), Farooque Azam (9316554), Aamir Naeem (19672540), Muhammad Kashif (3923483), و Wasi Haider Butt (2852081). A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification. 2020.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

(9316557), Muhammad Waseem Anwar, et al. A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification. 2020.