---
_id: '3253'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies
    J, eds. <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development
    of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
    {II}</i>. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:<a href="https://doi.org/10.1007/3-540-48118-4_5">10.1007/3-540-48118-4_5</a>'
  apa: Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock,
    &#38; J. Davies (Eds.), <i>FM’99 - Formal Methods, World Congress on Formal Methods
    in the Development of Computing Systems, Toulouse, France, September 20-24, 1999,
    Proceedings, Volume {II}</i> (pp. 1028--1047). <a href="https://doi.org/10.1007/3-540-48118-4_5">https://doi.org/10.1007/3-540-48118-4_5</a>
  bibtex: '@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science},
    title={Data Abstraction for {CSP-OZ}}, DOI={<a href="https://doi.org/10.1007/3-540-48118-4_5">10.1007/3-540-48118-4_5</a>},
    booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development
    of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
    {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim
    and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In <i>FM’99 - Formal
    Methods, World Congress on Formal Methods in the Development of Computing Systems,
    Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited
    by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes
    in Computer Science, 1999. <a href="https://doi.org/10.1007/3-540-48118-4_5">https://doi.org/10.1007/3-540-48118-4_5</a>.
  ieee: H. Wehrheim, “Data Abstraction for {CSP-OZ},” in <i>FM’99 - Formal Methods,
    World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
    France, September 20-24, 1999, Proceedings, Volume {II}</i>, 1999, pp. 1028--1047.
  mla: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” <i>FM’99 - Formal Methods,
    World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
    France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited by Jeannette
    M. Wing et al., 1999, pp. 1028--1047, doi:<a href="https://doi.org/10.1007/3-540-48118-4_5">10.1007/3-540-48118-4_5</a>.
  short: 'H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal
    Methods, World Congress on Formal Methods in the Development of Computing Systems,
    Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.'
date_created: 2018-06-14T07:32:05Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-48118-4_5
editor:
- first_name: Jeannette
  full_name: M. Wing, Jeannette
  last_name: M. Wing
- first_name: Jim
  full_name: Woodcock, Jim
  last_name: Woodcock
- first_name: Jim
  full_name: Davies, Jim
  last_name: Davies
page: 1028--1047
publication: FM'99 - Formal Methods, World Congress on Formal Methods in the Development
  of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
  {II}
series_title: Lecture Notes in Computer Science
status: public
title: Data Abstraction for {CSP-OZ}
type: conference
user_id: '29719'
year: '1999'
...