Reuse of verification efforts and incomplete specifications in a formalization, iterative and incremental software process | Publicación