Article View: comp.specification.z
Article #108Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
From: Alex Blakemore
Date: Fri, 28 Jun 1991 16:01
Date: Fri, 28 Jun 1991 16:01
10 lines
1174 bytes
1174 bytes
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes: > Perhaps you might be interested in Object-Z. The object-oriented > version of Z developed here at the University of Queensland. how about some references or an anonymous ftp site for papers describing object-z. sounds interesting. -- --------------------------------------------------------------------- Alex Blakemore blakemore@software.org (703) 742-7125 Software Productivity Consortium 2214 Rock Hill Rd, Herndon VA 22070
Technical Details
Message-ID:
<1991Jun28.160145.8626@software.org>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!spool.mu.edu!uunet!europa.asd.contel.com!noc.sura.net!haven.umd.edu!uvaarpa!software.org!blakemorReferences:
<1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!spool.mu.edu!uunet!europa.asd.contel.com!noc.sura.net!haven.umd.edu!uvaarpa!software.org!blakemor From: blakemor@software.org (Alex Blakemore) Newsgroups: comp.specification.z Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'... Message-ID: <1991Jun28.160145.8626@software.org> Date: 28 Jun 91 16:01:45 GMT Article-I.D.: software.1991Jun28.160145.8626 References: <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au> Organization: Software Productivity Consortium, Herndon, Virginia Lines: 10