Gondim, J.
1995 out  3.  Visando o Reuso Formalmente Justificado de Especificações. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :