Object-Z ?

Article View: comp.specification

Article #331

Back to comp.specification Previous Next

#331

From: Paul.Kram
Date: Sat, 23 Feb 1991 22:50

5 lines
535 bytes

I'm looking for information about Object-Z
(an object oriented extension to Z).
I don't know anything except that it exists.
All pointers appreciated...

Technical Details

Message-ID: <0blj6lq00h5KECCUNI@cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!tut.cis.ohio-state.edu!sei!fs7.ece.cmu.edu!o.gp.cs.cmu.edu!andrew.cmu.edu!<UNAUTHENTICATED>+

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!tut.cis.ohio-state.edu!sei!fs7.ece.cmu.edu!o.gp.cs.cmu.edu!andrew.cmu.edu!<UNAUTHENTICATED>+
From: Paul.Kram@cs.cmu.edu
Newsgroups: comp.specification
Subject: Object-Z ?
Message-ID: <0blj6lq00h5KECCUNI@cs.cmu.edu>
Date: 23 Feb 91 22:50:25 GMT
Organization: Carnegie Mellon, Pittsburgh, PA
Lines: 5