Jing Dong, Paulo S. C. Alencar, Donald D. Cowan. On Analysis of Design Component Contracts: A Case Study. In 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands. pages 103-113, IEEE Computer Society, 2003. [doi]
Abstract is missing.