{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:46Z","timestamp":1762458466156},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_25","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"360-374","source":"Crossref","is-referenced-by-count":16,"title":["Slicing an Integrated Formal Method for Verification"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Br\u00fcckner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing CSP-OZ Specifications for Verification. Technical Report\u00a07, SFB\/TR 14 AVACS (2005), \n                    \n                      http:\/\/www.avacs.org\/"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/11415787_24","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"I. Br\u00fcckner","year":"2005","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing Object-Z Specifications for Verification. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 414\u2013433. Springer, Heidelberg (2005)"},{"key":"25_CR3","first-page":"138","volume-title":"ACM SIGSOFT ISSTA","author":"D. Chang","year":"1994","unstructured":"Chang, D., Richardson, D.: Static and Dynamic Specification Slicing. In: ACM SIGSOFT ISSTA, pp. 138\u2013153. ACM Press, New York (1994)"},{"key":"25_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"25_CR5","first-page":"423","volume-title":"FMOODS 1997","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: A Combination of Object-Z and CSP. In: FMOODS 1997, vol.\u00a02, pp. 423\u2013438. Chapman & Hall, Boca Raton (1997)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BFb0053585","volume-title":"Fundamental Approaches to Software Engineering","author":"W. Grieskamp","year":"1998","unstructured":"Grieskamp, W., Heisel, M., D\u00f6rr, H.: Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 88\u2013106. Springer, Heidelberg (1998)"},{"issue":"4","key":"25_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J. Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M., Zheng, H.: Slicing Software for Model Construction. Higher-order and Symbolic Computation\u00a013(4), 315\u2013353 (2000)","journal-title":"Higher-order and Symbolic Computation"},{"key":"25_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11526841_31","volume-title":"FM 2005: Formal Methods","author":"J. Hoenicke","year":"2005","unstructured":"Hoenicke, J., Maier, P.: Model-checking specifications integrating processes, data and time. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 465\u2013480. Springer, Heidelberg (2005)"},{"issue":"4","key":"25_CR10","first-page":"301","volume":"9","author":"J. Hoenicke","year":"2002","unstructured":"Hoenicke, J., Olderog, E.-R.: CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. NJC\u00a09(4), 301\u2013334 (2002)","journal-title":"NJC"},{"key":"25_CR11","unstructured":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS) \u2013 International Standard 15437:2001. ISO\/IEC \u2013 Information technology (2001)"},{"issue":"2","key":"25_CR12","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed communicating Object-Z. IEE Transactions on Software Engineering\u00a026(2), 150\u2013177 (2000)","journal-title":"IEE Transactions on Software Engineering"},{"issue":"4","key":"25_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s100090050041","volume":"2","author":"L. Millett","year":"2000","unstructured":"Millett, L., Teitelbaum, T.: Issues in Slicing Promela and its Applications to Model Checking. Software Tools and Technology Transfer\u00a02(4), 343\u2013349 (2000)","journal-title":"Software Tools and Technology Transfer"},{"key":"25_CR14","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"25_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"3","key":"25_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"Smith, G., Derrick, J.: Specification, Refinement and Verification of Concurrent Systems. Formal Methods in System Design\u00a018(3), 249\u2013284 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"3","key":"25_CR17","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-45648-1_22","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"H. Treharne","year":"2002","unstructured":"Treharne, H., Schneider, S.A.: Communicating B Machines. In: Bert, D., Robinson, K., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 416\u2013435. Springer, Heidelberg (2002)"},{"key":"25_CR19","unstructured":"Shankar, N., Ganesh, V., Saidi, H.: Slicing SAL. Technical report, SRI International (1999), \n                    \n                      http:\/\/theory.stanford.edu\/"},{"issue":"7","key":"25_CR20","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J.C.P. Woodcock","year":"2002","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"issue":"8","key":"25_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1026474.1026481","volume":"39","author":"F. Wu","year":"2004","unstructured":"Wu, F., Yi, T.: Slicing Z Specifications. SIGPLAN\u00a039(8), 39\u201348 (2004)","journal-title":"SIGPLAN"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:19Z","timestamp":1619505859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11576280_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}