A Formal Framework for Design Component Contracts.

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan

Browse the full IRI paper archive.