{"page":"414--433","year":"2005","_id":"3232","citation":{"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.","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>","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>.","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>.","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.","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>","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} }"},"title":"Slicing Object-Z Specifications for Verification","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","user_id":"29719","series_title":"Lecture Notes in Computer Science","doi":"10.1007/11415787_24","department":[{"_id":"77"}],"status":"public","author":[{"first_name":"Ingo","full_name":"Brückner, Ingo","last_name":"Brückner"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"type":"conference","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:45:30Z","editor":[{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"last_name":"King","full_name":"King, Steve","first_name":"Steve"},{"first_name":"Martin","full_name":"C. Henson, Martin","last_name":"C. Henson"},{"first_name":"Steve","last_name":"A. Schneider","full_name":"A. Schneider, Steve"}]}