Specifying static semantics in Z

Root Article: 369
Message Count: 1
Max Depth: 0
Cache Hit: No
Build Time: 1.764409555s

1 messages Depth: 0

[T] Back to Threads [F] Flat View [G] Group Articles

Build time: 1.764409555sms | 1 messages | Max depth: 0

1 nodes max depth: 0 1 leaves

From: Kevin.Lano

Date: Wed, 24 Apr 1991 09:29

Article: 369

Message-ID: <9104240929.AA15064@client74.comlab.prg.ox.ac.uk>

Debug Information