From rbotting@wiley.csusb.edu Mon Jan 10 15:37 PST 1994
Return-Path: <rbotting@wiley.csusb.edu>
Received: from wiley.csusb.edu by silicon.csci.csusb.edu (5.0/SMI-SVR4)
	id AA14153; Mon, 10 Jan 94 15:37:06 PST
Received: by wiley.csusb.edu (5.67a/1.34)
	id AA22609; Mon, 10 Jan 1994 15:38:46 -0800
Date: Mon, 10 Jan 1994 15:38:46 -0800
From: rbotting@wiley.csusb.edu ("Dr. Richard Botting")
Message-Id: <199401102338.AA22609@wiley.csusb.edu>
To: dick@silicon.csci.csusb.edu
Subject: (fwd) ZTC
Newsgroups: comp.specification.z
Content-Type: text
Content-Length: 1165
Status: R

Newsgroups: comp.specification.z
Path: csus.edu!wupost!cs.utexas.edu!howland.reston.ans.net!vixen.cso.uiuc.edu!usenet.ucs.indiana.edu!depaul!lance.cs.depaul.edu!jia
From: jia@lance.cs.depaul.edu (Xiaoping Jia)
Subject: ZTC
Nntp-Posting-Host: lance.cs.depaul.edu
Sender: news@hal.depaul.edu (News Admin)
Organization: Depaul University, Chicago
Date: Thu, 6 Jan 1994 22:48:57 GMT
Message-ID: <1994Jan6.224857.5083@hal.depaul.edu>
Lines: 17

Newsgroups: comp.specification.z
Subject: ZTC: A Z Type Checker
Summary: 
Followup-To: 
Distribution: world
Organization: Depaul University, Chicago
Keywords: Z notation, formal specification, type checking

ZTC is a type checker for Z. It is available on IBM PC and compatibles.
It is distributed free of charge for educational use. For more information,
contact me at:

	cscjx@hawk.depaul.edu 

Xiaoping Jia
Institute for Software Engineering 
DePaul University 

--
rbotting@wiley.csusb.edu.
rbotting::=`Dr. Richard J. Botting`, wiley::=`Faculty EMail System`,
csusb::=`California State University, San Bernardino, CA 92407, USA`.
cookie::=
"Once a scientist then a computer scientist, then a software process engineer!".