Oxford Techreport on Refinement

Article View: comp.specification

Article #249

Back to comp.specification Previous Next

#249

From: Jim Grundy
Date: Wed, 12 Dec 1990 17:54

9 lines
783 bytes

I'm told that there exists a tech report from the PRG that is a collection
of lots of papers from various author within the PRG on the subject of 
Refinment.
Can anybody tell me the number of this report (if it does exist) and even beter
someone from Oxford tell me the details on getting hold of it.

thanx in advance

Jim

Technical Details

Message-ID: <1990Dec12.175436.6304@cl.cam.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!uokmax!munnari.oz.au!uunet!mcsun!ukc!cam-cl!news

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!uokmax!munnari.oz.au!uunet!mcsun!ukc!cam-cl!news
From: jg@cl.cam.ac.uk (Jim Grundy)
Newsgroups: comp.specification
Subject: Oxford Techreport on Refinement
Message-ID: <1990Dec12.175436.6304@cl.cam.ac.uk>
Date: 12 Dec 90 17:54:36 GMT
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: jg@cl.cam.ac.uk
Organization: Cambridge Hardware Verification Group
Lines: 9