Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
Serious Specification for Composing Components
CBSE, 2002.
@inproceedings{CBSE-2003-BarnettGKSSTW, address = "Portland, Oregon, USA", author = "Mike Barnett and Wolfgang Grieskamp and Clemens Kerer and Wolfram Schulte and Clemens Szyperski and Nikolai Tillmann and Arthur Watson", booktitle = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}", pages = "6", title = "{Serious Specification for Composing Components}", year = 2002, }