author : Silvio Lemos Meira

Short works

• MooZ Case Studies. 1992. (In Object Orientation in Z )
• On the use of formal specifications in the design and simulation of artificial neural networks. 1995. (In ZUM '95 )