Joey W. Coleman

	2008
4		Joey W. Coleman: Expression Decomposition in a Rely/Guarantee Context. VSTTE 2008: 146-160
	2007
3		Joey W. Coleman, Cliff B. Jones: A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007)
2		Joey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007)
	2006
1		Joey W. Coleman: Determining the Specification of a Control System: An Illustrative Example. RODIN Book 2006: 114-132

Coauthor Index

1

Cliff B. Jones (Clifford B. Jones)

[2] [3]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page