{"title":"Incremental Slicing","_id":"3225","department":[{"_id":"77"}],"date_created":"2018-06-14T06:35:54Z","editor":[{"first_name":"Zhiming","last_name":"Liu","full_name":"Liu, Zhiming"},{"full_name":"He, Jifeng","last_name":"He","first_name":"Jifeng"}],"user_id":"29719","citation":{"chicago":"Wehrheim, Heike. “Incremental Slicing.” In <i>Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i>, edited by Zhiming Liu and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006. <a href=\"https://doi.org/10.1007/11901433_28\">https://doi.org/10.1007/11901433_28</a>.","short":"H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.","apa":"Wehrheim, H. (2006). Incremental Slicing. In Z. Liu &#38; J. He (Eds.), <i>Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i> (pp. 514--528). <a href=\"https://doi.org/10.1007/11901433_28\">https://doi.org/10.1007/11901433_28</a>","ama":"Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. <i>Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i>. Lecture Notes in Computer Science. ; 2006:514--528. doi:<a href=\"https://doi.org/10.1007/11901433_28\">10.1007/11901433_28</a>","bibtex":"@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Incremental Slicing}, DOI={<a href=\"https://doi.org/10.1007/11901433_28\">10.1007/11901433_28</a>}, booktitle={Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors}, year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Incremental Slicing.” <i>Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i>, edited by Zhiming Liu and Jifeng He, 2006, pp. 514--528, doi:<a href=\"https://doi.org/10.1007/11901433_28\">10.1007/11901433_28</a>.","ieee":"H. Wehrheim, “Incremental Slicing,” in <i>Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i>, 2006, pp. 514--528."},"year":"2006","status":"public","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"doi":"10.1007/11901433_28","series_title":"Lecture Notes in Computer Science","type":"conference","date_updated":"2022-01-06T06:59:05Z","publication":"Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings","page":"514--528"}