conference paper Contract-Oriented System Design and Specification Wolfgang Müller author 16243 672 department 1991 eng Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. Grassau Germany, 1991. W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991. W. Müller, “Contract-Oriented System Design and Specification,” 1991. Müller, W. (1991). Contract-Oriented System Design and Specification. <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. @inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} } Müller W. Contract-Oriented System Design and Specification. In: <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. ; 1991. Müller, Wolfgang. “Contract-Oriented System Design and Specification.” <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>, 1991. 395842023-01-24T12:31:16Z2023-01-24T12:31:20Z