@inproceedings{3232,
  author       = {{Brückner, Ingo and Wehrheim, Heike}},
  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}},
  editor       = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}},
  pages        = {{414----433}},
  title        = {{{Slicing Object-Z Specifications for Verification}}},
  doi          = {{10.1007/11415787_24}},
  year         = {{2005}},
}