OLIVEIRA, Marcel; CAVALCANTI, Ana.
Tactics of Refinement. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 14. , 2000, João Pessoa/PB.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 117-132.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.2000.25924.