[Prev][Next][Index]

ANSI Standards for formal description techniques



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