---
_id: '3247'
author:
- first_name: Clemens
  full_name: Fischer, Clemens
  last_name: Fischer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
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.
  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.
  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}
    }'
  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.
  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.
  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.
  short: C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
date_created: 2018-06-14T07:17:49Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
page: 92--101
publication: Bulletin of the {EATCS}
status: public
title: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated
  Formal Method
type: journal_article
user_id: '29719'
year: '2000'
...