| Title: | Formal Methods for Software Development |
| Notice: | Please introduce yourself in note 2 |
| Moderator: | COOKIE::WALLACE |
| Created: | Thu Jul 09 1992 |
| Last Modified: | Thu Jun 08 1995 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 17 |
| Total number of notes: | 46 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 10.1 | POSTSCRIPT! -- Z symbols | COOKIE::WALLACE | CXO2-1/7A, D522-2792, ESM | Tue Aug 25 1992 09:59 | 1798 |
| 10.2 | POSTSCRIPT! -- Z schemas in ASCII | COOKIE::WALLACE | CXO2-1/7A, D522-2792, ESM | Tue Aug 25 1992 10:01 | 890 |
| 10.3 | Try fuzz with LaTeX | SQGUK::WINN | Geoff Winn @ REO F/G9 | Wed Oct 20 1993 04:14 | 12 |