conference paper Ingo Brückner author Heike Wehrheim author 573 HelenTreharne editor SteveKing editor MartinC. Henson editor SteveA. Schneider editor 77 department 2005 10.1007/11415787_24 414--433 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>. @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} } 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> 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. 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> 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. 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>. 32322018-06-14T06:45:30Z2022-01-06T06:59:06Z