D. C. Craig

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 D. C. Craig, Wlodzimierz M. Zuberek: Verification of Component Behavioral Compatibility. DepCoS-RELCOMEX 2007: 294-304

2006

1 D. C. Craig, Wlodzimierz M. Zuberek: Compatibility of Software Components - Modeling and Verification. DepCoS-RELCOMEX 2006: 11-18

	2007
2		D. C. Craig, Wlodzimierz M. Zuberek: Verification of Component Behavioral Compatibility. DepCoS-RELCOMEX 2007: 294-304
	2006
1		D. C. Craig, Wlodzimierz M. Zuberek: Compatibility of Software Components - Modeling and Verification. DepCoS-RELCOMEX 2006: 11-18

Coauthor Index