Thread Tree View: comp.specification
2 messages
Depth: 1
Cached
Build time: 1.097616msms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
CASE and formal methods
From: Robert France
Date: Wed, 28 Oct 1992 22:45
Article: 10
Message-ID: <1992Oct28.224529.12640@cybernet.cse.fau.edu>
Debug Information
Tree Statistics
- Root Article: 10
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 1.097616ms
Thread Root
- Subject: CASE and formal methods
- From: Robert France
- Date: Wed, 28 Oct 1992 22:45
- Article: 10