Z animation in Prolog

Thread View: comp.specification.z

1 messages

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

1 total messages Started by JBWORDS Thu, 19 Nov 1992 09:55

#95

Author: JBWORDS
Date: Thu, 19 Nov 1992 09:55

4 lines
509 bytes

I should be glad to have information (e.g. references to papers or products)
about animation of Z specifications using Prolog.  Please reply direct to
jbwords@winvmj.vnet.ibm.com.
Many thanks, John Wordsworth.

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