Thread Tree View: comp.specification
6 messages
Depth: 4
Cached
Build time: 1.309108msms
| 6 messages | Max depth: 4
Thread Tree
6 nodes
max depth: 4
2 leaves
Root Message
The best tutorial on formal specifications
From: Pablo A. Straub
Date: Fri, 10 May 1991 19:50
Article: 378
Message-ID: <34341@mimsy.umd.edu>
Debug Information
Tree Statistics
- Root Article: 378
- Message Count: 6
- Max Depth: 4
- Cache Hit: Yes
- Build Time: 1.309108ms
Thread Root
- Subject: The best tutorial on formal specifications
- From: Pablo A. Straub
- Date: Fri, 10 May 1991 19:50
- Article: 378