MACHADO, Patrícia Duarte de Lima; MEIRA, Silvio Romero de Lemos; CARVALHO FILHO, Edson Costa de Barros; GOMES, Herman Martins. Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 8. , 1994, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1994 . p. 159-173. DOI: https://doi.org/10.5753/sbes.1994.24466.