References to 'Z' specification language

Article View: comp.specification

Article #171

Back to comp.specification Previous Next

#171

From: Mike Crooks
Date: Thu, 30 Aug 1990 11:40

8 lines
605 bytes

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

Thanks in advance,

Mike Crooks
mike@bohra.cpg.oz.au
D

Technical Details

Message-ID: <592@bohra.cpg.oz>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!usc!snorkelwacker!apple!uokmax!munnari.oz.au!metro!pta!yarra!bohra!mike

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!usc!snorkelwacker!apple!uokmax!munnari.oz.au!metro!pta!yarra!bohra!mike
From: mike@bohra.cpg.oz (Mike Crooks)
Newsgroups: comp.specification,comp.software-eng
Subject: References to 'Z' specification language
Message-ID: <592@bohra.cpg.oz>
Date: 30 Aug 90 11:40:55 GMT
Organization: Computer Power Group, Melb, Australia
Lines: 7