Z specs

Thread View: comp.specification

1 messages

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

1 total messages Started by Joan Krone Tue, 27 Oct 1992 04:28

Author: Joan Krone
Date: Tue, 27 Oct 1992 04:28

8 lines
787 bytes

	Yesterday I posted a request for references in which
programs implementing Z specifications were verified, i.e.,
correctness proofs were given showing that a particular implementation
met the Z specifications.  The address I gave was not correct.
Please send such references to
		krone@sunshine.mathsci.denison.edu

		Joan Krone

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