conference paper Heike Wehrheim author 573 JeannetteM. Wing editor JimWoodcock editor JimDavies editor 77 department 1999 10.1007/3-540-48118-4_5 1028--1047 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. 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>. 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> 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. 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> @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} } 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>. 32532018-06-14T07:32:05Z2022-01-06T06:59:07Z