Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 837.141µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
SpecBox: a formal methods tool for VDM
From: Peter Froome
Date: Wed, 22 Jul 1992 08:15
Article: 37
Message-ID: <39546@skye.dcs.ed.ac.uk>
Debug Information
Tree Statistics
- Root Article: 37
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 837.141µs
Thread Root
- Subject: SpecBox: a formal methods tool for VDM
- From: Peter Froome
- Date: Wed, 22 Jul 1992 08:15
- Article: 37