author : Patricia Duarte de Lima Machado

Short works

• On the use of formal specifications in the design and simulation of artificial neural networks. 1995. (In ZUM '95 )