{"issue":"1-2","date_updated":"2022-01-06T06:59:05Z","type":"journal_article","page":"22--45","year":"2006","date_created":"2018-06-14T06:33:37Z","user_id":"29719","_id":"3223","status":"public","citation":{"mla":"Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.","short":"I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.","apa":"Brückner, I., Metzler, B., & Wehrheim, H. (2006). Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2), 22--45.","bibtex":"@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.}, author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45} }","ama":"Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.","ieee":"I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.","chicago":"Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2 (2006): 22--45."},"title":"Optimizing Slicing of Formal Specifications by Deductive Verification","author":[{"first_name":"Ingo","full_name":"Brückner, Ingo","last_name":"Brückner"},{"last_name":"Metzler","full_name":"Metzler, Björn","first_name":"Björn"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"department":[{"_id":"77"}],"publication":"Nord. J. Comput."}