ANSI Standards for formal description techniques

To: horning
Subject: ANSI Standards for formal description techniques
From: leavens@bambam.cs.iastate.edu (Gary Leavens)
Date: Mon, 22 Nov 93 16:17:05 CST
Cc: larch-interest
Delivery-Date: Mon, 22 Nov 93 14:21:20 -0800
In-Reply-To: horning@src.dec.com's message of Mon, 22 Nov 93 13:35:27 -0800 <9311222135.AA28007@roustabout.pa.dec.com>

Jim,
	I guess it's reasonable to avoid it.  I just thought that prehaps
you might regard VDM-SL and Z as competitors...
	Gary

Reference(s):