Sharif Omar Salem, profile picture

Sharif Omar Salem

9 Slideshow
Sort by
PhD Presentation (Doctorate)
vonSharif Omar Salem
 
#8 formal methods – pro logic
vonSharif Omar Salem
 
#7 formal methods – loop proof examples
vonSharif Omar Salem
 
#6 formal methods – loop proof using induction method
vonSharif Omar Salem
 
#5 formal methods – hoare logic
vonSharif Omar Salem
 
#4 formal methods – predicate logic
vonSharif Omar Salem
 
#3 formal methods – propositional logic
vonSharif Omar Salem
 
#2 formal methods – principles of logic
vonSharif Omar Salem
 
#1 formal methods – introduction for software engineering
vonSharif Omar Salem