| Conference | Total Posts | Conference Title |
|---|---|---|
| ricks::formal_verification | 1 | Formal Specification and Verification |
| TOPIC | 4.0 | Participants | ||
| 4.7 | Tue Jan 12 1988 16:56 | Participants from SRC | 36 lines | |
| First Post: | Tue Jan 12 1988 |
| Last Post: | Tue Jan 12 1988 |
| # Topics: | 0 |
| # Replies: | 1 |
| # We have note bodies for: | 0 |