Patrícia D. L. Machado, Silvio Romero de Lemos Meira. On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. In Jonathan P. Bowen, Michael G. Hinchey, editors, ZUM 95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings. Volume 967 of Lecture Notes in Computer Science, pages 63-82, Springer, 1995.
Abstract is missing.