%0 Thesis %1 cornelio_04_refactorings %A Cornélio, Márcio %D 2004 %K 2004 \_pdf %T Refactorings as Formal Refinements %U http://www.dsc.upe.br/\~mlc/dissertacaoMestrado/designEvalOOFormalSpecLanguage.pdf

@phdthesis{cornelio_04_refactorings, added-at = {2009-03-10T04:33:00.000+0100}, author = {Corn\'{e}lio, M\'{a}rcio}, biburl = {https://www.bibsonomy.org/bibtex/21b07fca39b57ade494a61eca34ea945f/leonardo}, citeulike-article-id = {2924176}, interhash = {a217ec59c5541fc129513d41dff6d4e3}, intrahash = {1b07fca39b57ade494a61eca34ea945f}, keywords = {2004 \_pdf}, posted-at = {2008-06-24 20:08:39}, priority = {4}, school = {Universidade Federal de Pernambuco}, timestamp = {2009-03-10T04:33:00.000+0100}, title = {Refactorings as Formal Refinements}, url = {http://www.dsc.upe.br/\~{}mlc/dissertacaoMestrado/designEvalOOFormalSpecLanguage.pdf}, year = 2004 }