article Heike Wehrheim author 573 77 department 2000 10.1007/s001650070026 3147--164 Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3 (2000): 147--164. <a href="https://doi.org/10.1007/s001650070026">https://doi.org/10.1007/s001650070026</a>. H. Wehrheim, Formal Asp. Comput. (2000) 147--164. H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000. Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp. Comput.</i>, (3), 147--164. <a href="https://doi.org/10.1007/s001650070026">https://doi.org/10.1007/s001650070026</a> @article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={<a href="https://doi.org/10.1007/s001650070026">10.1007/s001650070026</a>}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} } Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp Comput</i>. 2000;(3):147--164. doi:<a href="https://doi.org/10.1007/s001650070026">10.1007/s001650070026</a> Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3, 2000, pp. 147--164, doi:<a href="https://doi.org/10.1007/s001650070026">10.1007/s001650070026</a>. 32482018-06-14T07:19:50Z2022-01-06T06:59:07Z