Z questions

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by bwhite Fri, 16 Nov 1990 21:45

#241

Author: bwhite
Date: Fri, 16 Nov 1990 21:45

16 lines
900 bytes

I am interested in finding out more about the Z notation.  I am
reading J.M. Spivey's book.  Can anyone point me to:

	1.) A bibliography of Z notation papers?
	2.) An electronic mailing list for Z (or is comp.specification
	    the closest thing going?)
	3.) Any existing Z software?  This includes such mundane
	    things as LaTeX definitions, up to syntax checkers and
	    so forth.  I would hate to duplicate any existing effort.

Thanks in advance.

					Peace,
					Bill White
					bwhite@inmet.inmet.com

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads