Support Tools for Z?

Article View: comp.specification

Article #307

Back to comp.specification Previous Next

#307

From: Betty Cheng
Date: Mon, 31 Dec 1990 23:51

10 lines
747 bytes

Are there existing support tools for using Z? 
If so, have there been any projects that used the support tools?

thanks,

Betty Cheng

Michigan State University
Computer Science Department
chengb@cpswh.cps.msu.edu

Technical Details

Message-ID: <1990Dec31.235106.16021@msuinfo.cl.msu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!julius.cs.uiuc.edu!ux1.cso.uiuc.edu!news.iastate.edu!sharkey!msuinfo!pleiades.cps.msu.edu!chengb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!julius.cs.uiuc.edu!ux1.cso.uiuc.edu!news.iastate.edu!sharkey!msuinfo!pleiades.cps.msu.edu!chengb
From: chengb@cpswh.cps.msu.edu (Betty Cheng)
Newsgroups: comp.specification
Subject: Support Tools for Z?
Message-ID: <1990Dec31.235106.16021@msuinfo.cl.msu.edu>
Date: 31 Dec 90 23:51:06 GMT
Sender: news@msuinfo.cl.msu.edu
Reply-To: chengb@pleiades.cps.msu.edu (Betty Cheng)
Organization: Computer Science, Michigan State University, E. Lansing
Lines: 10