Login / Signup
Mostafa Mahmoud Mohamed
ORCID
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Memory Capacity
Computational Complexity
International Competition
Social Networks
Top Venues
TACAS
</>
Publications
</>
Alexander Nutz
,
Daniel Dietsch
,
Mostafa Mahmoud Mohamed
,
Andreas Podelski
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).
TACAS
(2015)