Sharif Omar Salem

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