�ݺ�ߣ

Sharif Omar Salem

9 �ݺ�ߣShares 118 Followers 128 Followings

9 �ݺ�ߣShares 118 Followers 128 Followings

Personal Information

Organization / Workplace

Kuala Lumpur, Malaysia MY

Occupation

Senior Lecturer

Industry

Education

About

Contact with me via email: ssalemg@gmail.com

Presentations(9)��

PhD Presentation (Doctorate)

��

#8 formal methods – pro logic

��

#7 formal methods – loop proof examples

��

#6 formal methods – loop proof using induction method

��

#5 formal methods – hoare logic

��

#4 formal methods – predicate logic

��