Diyaa-Addein Atiya

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Diyaa-Addein Atiya, Steve King, Jim Woodcock
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Diyaa-Addein Atiya, Steve King
Extending Ravenscar with CSP Channels. Ada-Europe (2005)
Diyaa-Addein Atiya, Steve King, Jim Woodcock
A Circus Semantics for Ravenscar Protected Objects. FME (2003)