---
_id: '3232'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification.
    In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal
    Specification and Development in {Z} and B, 4th International Conference of {B}
    and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2005:414--433. doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>'
  apa: 'Brückner, I., &#38; Wehrheim, H. (2005). Slicing Object-Z Specifications for
    Verification. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.),
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>
    (pp. 414--433). <a href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>'
  bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Slicing Object-Z Specifications for Verification}, DOI={<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>},
    booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
    author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King,
    Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for
    Verification.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and
    B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson,
    and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. <a
    href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>.'
  ieee: 'I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,”
    in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    2005, pp. 414--433.'
  mla: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne et al., 2005, pp. 414--433, doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>.'
  short: 'I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A.
    Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B,
    4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings, 2005, pp. 414--433.'
date_created: 2018-06-14T06:45:30Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_24
editor:
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Steve
  full_name: King, Steve
  last_name: King
- first_name: Martin
  full_name: C. Henson, Martin
  last_name: C. Henson
- first_name: Steve
  full_name: A. Schneider, Steve
  last_name: A. Schneider
page: 414--433
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
  Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Slicing Object-Z Specifications for Verification
type: conference
user_id: '29719'
year: '2005'
...