Re: Z information

Article View: comp.specification

Article #285

Back to comp.specification Previous Next

#285

From: Martin Weigele
Date: Tue, 29 Sep 1992 20:24

9 lines
753 bytes

In article <22467@venera.isi.edu> donc@isi.edu (Don Cohen) asks about  
references on the Z specification language.

There is a newsgroup comp.specification.z with monthly faq-postings.

-- 
Martin Weigele, Kapellenweg 32, D-W-5300 Bonn 2
phone +49 228 333252 home, +49 228 9866385 office
email: martin@weigele.de

Technical Details

Message-ID: <1992Sep29.202457.2921@weigele.de>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!smurf.sub.org!easix!dino.dinoco.de!mgwbnnx!martin

References: <22467@venera.isi.edu>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!smurf.sub.org!easix!dino.dinoco.de!mgwbnnx!martin
From: martin@weigele.de (Martin Weigele)
Subject: Re: Z information
Message-ID: <1992Sep29.202457.2921@weigele.de>
Sender: martin@weigele.de
Organization: M. Weigele
References: <22467@venera.isi.edu>
Date: Tue, 29 Sep 1992 20:24:57 GMT
Lines: 9

Reply to Parent Message