Tactics of Refinement

Marcel Oliveira, Ana Cavalcanti 0001. Tactics of Refinement. In Augusto Sampaio, editor, Proceedings of the 14th Brazilian Symposium on Software Engineering, SBES 2000, João Pessoa, PB, Brazil, October 4-6, 2000. pages 117-132, SBC, 2000. [doi]

Abstract

Abstract is missing.