Path: 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

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