Looking for users of Z and VDM

1 messages

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

1 total messages Started by Simon Raybould Thu, 12 Apr 1990 16:02

#76

Author: Simon Raybould
Date: Thu, 12 Apr 1990 16:02

3 lines
526 bytes

We are considering adopting a specification language such as VDM or Z
and are looking for any advice.

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