{"_id":"3204","title":"Alloy as a Refactoring Checker?","department":[{"_id":"77"}],"date_created":"2018-06-13T09:47:06Z","user_id":"29719","citation":{"mla":"Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 331--357, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>.","ama":"Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? <i>Electr Notes Theor Comput Sci</i>. 2008:331--357. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>","ieee":"H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 331--357, 2008.","apa":"Estler, H. .-}Christian, &#38; Wehrheim, H. (2008). Alloy as a Refactoring Checker? <i>Electr. Notes Theor. Comput. Sci.</i>, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>","bibtex":"@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }","short":"H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.","chicago":"Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>."},"year":"2008","status":"public","author":[{"full_name":"Estler, H.{-}Christian","last_name":"Estler","first_name":"H.{-}Christian"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"doi":"10.1016/j.entcs.2008.06.015","type":"journal_article","date_updated":"2022-01-06T06:59:04Z","publication":"Electr. Notes Theor. Comput. Sci.","page":"331--357"}