Joey W. Coleman

2008
4	EE	Joey W. Coleman: Expression Decomposition in a Rely/Guarantee Context. VSTTE 2008: 146-160
2007
3	EE	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	EE	Joey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007)
2006
1	EE	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]