Re: References to 'Z' specification language

Article View: comp.specification

Article #173

Back to comp.specification Previous Next

#173

From: Anthony Lee
Date: Sun, 02 Sep 1990 01:06

13 lines
1039 bytes

mike@bohra.cpg.oz (Mike Crooks) writes:

>Could someone please point me at some references to the 'Z' specification
>language developed at Oxford.

Specification Case Studies 
Ian Hayes (editor)
Prentice Hall
--
Anthony Lee (Michaelangelo teenage mutant ninja turtle) (Time Lord Doctor) 
ACSnet:	anthony@batserver.cs.uq.oz	TEL:+(61)-7-371-2651
Internet: anthony@batserver.cs.uq.oz.au	    +(61)-7-377-4139 (w)
SNAIL: Dept Comp. Science, University of Qld, St Lucia, Qld 4072, Australia

Technical Details

Message-ID: <4756@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!zaphod.mps.ohio-state.edu!samsung!munnari.oz.au!bunyip!brolga!uqcspe!batserver.cs.uq.oz.au!anthony

References: <592@bohra.cpg.oz>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!zaphod.mps.ohio-state.edu!samsung!munnari.oz.au!bunyip!brolga!uqcspe!batserver.cs.uq.oz.au!anthony
From: anthony@batserver.cs.uq.oz.au (Anthony Lee)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <4756@uqcspe.cs.uq.oz.au>
Date: 2 Sep 90 01:06:35 GMT
References: <592@bohra.cpg.oz>
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: anthony@batserver.cs.uq.oz.au
Followup-To: comp.specification
Lines: 13

Reply to Parent Message