@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}}, }