T.R | Title | User | Personal Name | Date | Lines |
---|
14.1 | SRCNOTES | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:33 | 7 |
14.2 | DECspec | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:42 | 8 |
14.3 | HOL theorem prover mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:46 | 8 |
14.4 | Boyer-Moore theorem prover mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:50 | 8 |
14.5 | Structured analysis and Z mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:52 | 12 |
14.6 | Theorem provers mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:53 | 12 |
14.7 | Rewriting theorem provers mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 17:55 | 12 |
14.8 | Z forum mailing list and usegroup | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 18:01 | 10 |
14.9 | Lambda theorem prover mailing list | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 18:03 | 12 |
14.10 | Formal specification usegroup | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 18:04 | 3 |
14.11 | Formal methods of software development | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Fri Oct 30 1992 18:06 | 4 |
14.13 | LP and Larch mailing list | CIRCUS::HORNING | Jim Horning | Fri Nov 06 1992 17:43 | 10 |
14.15 | More proof-related lists | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Thu Nov 12 1992 12:28 | 13 |
14.16 | CADE 97 Call for papers | RICKS::LEONARD | Tim Leonard, Formal Verification | Tue Sep 10 1996 13:04 | 151
|