Diyaa-Addein Atiya

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 Diyaa-Addein Atiya, Steve King: Extending Ravenscar with CSP Channels. Ada-Europe 2005: 79-90

2 Diyaa-Addein Atiya, Steve King, Jim Woodcock: Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electr. Notes Theor. Comput. Sci. 137(2): 5-22 (2005)

2003

1 Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635

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

Coauthor Index

1 Steve King [1] [2] [3]

2 Jim Woodcock (J. C. P. Woodcock) [1] [2]

1	Steve King	[1] [2] [3]
2	Jim Woodcock (J. C. P. Woodcock)	[1] [2]