Sharif Omar Salem, profile picture

Sharif Omar Salem

Sort by
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
#3 formal methods – propositional logic
#2 formal methods – principles of logic
#1 formal methods – introduction for software engineering