Thread Tree View: comp.sys.transputer
1 messages
Depth: 0
Cached
Build time: 729.116µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Re: proving programs correct
From: Geraint Jones
Date: Mon, 20 May 1991 20:38
Article: 1680
Message-ID: <9105202038.AA05649@prg.ox.ac.uk>
Debug Information
Tree Statistics
- Root Article: 1680
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 729.116µs
Thread Root
- Subject: Re: proving programs correct
- From: Geraint Jones
- Date: Mon, 20 May 1991 20:38
- Article: 1680