Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!uunet!bellcore!porthos!taichi!haim
From: haim@taichi.uucp (24122-Haim Kilov(L028)m000)
Newsgroups: comp.specification
Subject: Re: Object-Z references wanted
Message-ID: <1991Jun10.020240.23152@porthos.cc.bellcore.com>
Date: 10 Jun 91 02:02:40 GMT
References: <1991Jun7.230503.3804@zia.aoc.nrao.edu>
Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
Reply-To: haim@taichi.UUCP (24122-Haim Kilov)
Organization: Bellcore, Livingston, NJ
Lines: 10


Roger Duke from Queensland University (Australia) had presented a tutorial
on Object Z in Paris, at TOOLS'91. He had published several papers on Object Z.


Hope this helps.


-Haim Kilov
haim@bcr.cc.bellcore.com