The following pages link to Hussein Zedan (Q716294):
Displaying 10 items.
- The calculus of context-aware ambients (Q716296) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- (Q919757) (redirect page) (← links)
- Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae (Q919758) (← links)
- An AN-stable Rosenbrock-type method for solving stiff differential equations (Q1090080) (← links)
- A distributed algorithm for distributed termination (Q1098278) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Combining dynamic and static slicing for analysing assembler (Q2266945) (← links)
- Transformational Programming and the Derivation of Algorithms (Q4932639) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)
