Kareem Khazem -

Registered user since Tue 7 Jul 2020

Name:Kareem Khazem

Affiliation:Amazon

Personal website: https://karkhaz.com

Contributions

2020

ICSE

Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track