{"place":"Grassau Germany","language":[{"iso":"eng"}],"date_updated":"2023-01-24T12:31:20Z","title":"Contract-Oriented System Design and Specification","publication":"Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods","status":"public","_id":"39584","date_created":"2023-01-24T12:31:16Z","user_id":"5786","author":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"year":"1991","citation":{"mla":"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.","short":"W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.","chicago":"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.","ama":"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.","bibtex":"@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} }","ieee":"W. Müller, “Contract-Oriented System Design and Specification,” 1991.","apa":"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>."},"type":"conference","department":[{"_id":"672"}]}