Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 806.771µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Rapid prototyping of formal specifications
From: Stephen Gilmore
Date: Fri, 21 Jun 1991 16:40
Article: 468
Message-ID: <13023@skye.cs.ed.ac.uk>
Debug Information
Tree Statistics
- Root Article: 468
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 806.771µs
Thread Root
- Subject: Rapid prototyping of formal specifications
- From: Stephen Gilmore
- Date: Fri, 21 Jun 1991 16:40
- Article: 468