home
>
book reviews
> Silvio Lemos Meira
Google >
Silvio Lemos Meira
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
)