Quicklinks

Portrait of Person: Mouhammad Sakr

Mouhammad Sakr (PhD Student)
 
 Campus E1.1 | 66123 Saarbrücken | 1.16.1

Publications:

Title Date Date
 2018
ATVA
2018
 Swen Jacobs, Mouhammad Sakr
 NRA2
 International Symposium on Automated Technology for Verification and Analysis (ATVA)
 2019
2019
 Swen Jacobs, Mouhammad Sakr
 NRA2
 Acta Informatica
 2018
2018
 Swen Jacobs, Mouhammad Sakr
 NRA2
 Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings