Thread Tree View: comp.specification
2 messages
Depth: 1
Cached
Build time: 882.164µsms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
Seeking verification condition generators
From: David Sims
Date: Mon, 06 Apr 1992 14:42
Article: 51
Message-ID: <1992Apr6.144254.1306@uceng.UC.EDU>
Debug Information
Tree Statistics
- Root Article: 51
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 882.164µs
Thread Root
- Subject: Seeking verification condition generators
- From: David Sims
- Date: Mon, 06 Apr 1992 14:42
- Article: 51