{"author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","status":"public","citation":{"ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>. 2000:92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” <i>Bulletin of the {EATCS}</i>, pp. 92--101, 2000.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, 92--101.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>, 92--101.","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, pp. 92--101."},"publication":"Bulletin of the {EATCS}","department":[{"_id":"77"}],"year":"2000","type":"journal_article","page":"92--101","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:17:49Z","_id":"3247","user_id":"29719"}