Rachel Henne-Wu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Rachel Henne-Wu, William Mitchell, Cui Zhang: Support for Design by ContractTM in the C^TM Programming Language. Journal of Object Technology 4(7): 65-82 (2005)

	2005
1		Rachel Henne-Wu, William Mitchell, Cui Zhang: Support for Design by ContractTM in the C^TM Programming Language. Journal of Object Technology 4(7): 65-82 (2005)

Coauthor Index