Send email Copy Email Address
PhD Student

Mouhammad Sakr

Email

Address

Campus E1.1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Mouhammad Sakr

Year 2020

Year 2019

Year 2018

Conference / Medium

ATVA
International Symposium on Automated Technology for Verification and Analysis (ATVA)

Conference / Medium

Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings