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

[2] [3]