Silvio Romero de Lemos Meira, Ana Cavalcanti. MooZ Case Studies. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 37-58, Springer, 1992.
No references recorded for this publication.
No citations of this publication recorded.