Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 832.478ยตsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
inconsistency with lambda in VDM
From: Anthony Shipman
Date: Thu, 27 Aug 1992 07:35
Article: 109
Message-ID: <1992Aug27.073559.23859@bohra.cpg.oz.au>
Debug Information
Tree Statistics
- Root Article: 109
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 832.478ยตs
Thread Root
- Subject: inconsistency with lambda in VDM
- From: Anthony Shipman
- Date: Thu, 27 Aug 1992 07:35
- Article: 109