Martins, L.
2005 out 26.  Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :