Thread Tree View: comp.specification.z
1 messages
Depth: 0
Cached
Build time: 735.474µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
refinement notions in Z and VDM
From: Karl-Heinz Buth
Date: Thu, 09 Apr 1992 08:50
Article: 38
Message-ID: <8665@samson.informatik.uni-kiel.dbp.de>
Debug Information
Tree Statistics
- Root Article: 38
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 735.474µs
Thread Root
- Subject: refinement notions in Z and VDM
- From: Karl-Heinz Buth
- Date: Thu, 09 Apr 1992 08:50
- Article: 38