Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Mouhammad Sakr

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

Publications:

Title Date Date
 2018
2018
 Swen Jacobs, Mouhammad Sakr
 Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings