Re: Object-Z references wanted

Article View: comp.specification

Article #444

Back to comp.specification Previous Next

#444

From: 24122-Haim Kilov(L028)m000
Date: Mon, 10 Jun 1991 02:02

10 lines
796 bytes

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

Technical Details

Message-ID: <1991Jun10.020240.23152@porthos.cc.bellcore.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!uunet!bellcore!porthos!taichi!haim

References: <1991Jun7.230503.3804@zia.aoc.nrao.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message