Thread Tree View: comp.specification
4 messages
Depth: 3
Cached
Build time: 960.401µsms
| 4 messages | Max depth: 3
Thread Tree
4 nodes
max depth: 3
1 leaves
Root Message
Advantages of Z and VDM over Dijkstra-style specifications?
From: matteo vaccari
Date: Tue, 29 Sep 1992 09:28
Article: 281
Message-ID: <1992Sep29.092813.19695@ghost.dsi.unimi.it>
Debug Information
Tree Statistics
- Root Article: 281
- Message Count: 4
- Max Depth: 3
- Cache Hit: Yes
- Build Time: 960.401µs
Thread Root
- Subject: Advantages of Z and VDM over Dijkstra-style specifications?
- From: matteo vaccari
- Date: Tue, 29 Sep 1992 09:28
- Article: 281