{"year":"2005","_id":"3230","date_updated":"2022-01-06T06:59:06Z","status":"public","author":[{"last_name":"Brückner","full_name":"Brückner, Ingo","first_name":"Ingo"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"title":"Slicing an Integrated Formal Method for Verification","date_created":"2018-06-14T06:42:51Z","publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings","page":"360--374","type":"conference","user_id":"29719","citation":{"mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>.","short":"I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.","apa":"Brückner, I., &#38; Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau &#38; R. Banach (Eds.), <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i> (pp. 360--374). <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>","ama":"Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:360--374. doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>.","ieee":"I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, 2005, pp. 360--374.","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }"},"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/11576280_25","editor":[{"full_name":"Lau, Kung{-}Kiu","last_name":"Lau","first_name":"Kung{-}Kiu"},{"first_name":"Richard","last_name":"Banach","full_name":"Banach, Richard"}]}