Personal Information
Organization / Workplace
Kuala Lumpur, Malaysia MY
Occupation
Senior Lecturer
Industry
Education
About
Contact with me via
email: ssalemg@gmail.com
Tags
formal methods
loop invariant
loop proof
induction methods
sharif salem
viva
information system
phd
programming logic
prologic
hoare logic
predicate logic
propositional logic
fomal methods
principles of logic
software engineering
See more
- Presentations
- Documents
- Infographics