| 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 |
|---|---|---|---|---|---|
| 2.1 | Richard Wallace | COOKIE::WALLACE | CXO2-1/7B, D522-2792, ESM | Fri Jul 10 1992 12:43 | 82 |
| 2.2 | Peter Hancock | MOVIES::HANCOCK | Peter Hancock | Tue Jul 14 1992 13:22 | 57 |
| 2.3 | < Jayant Kumar > | QCAV01::JKUMAR | A myth is a female moth | Tue Aug 18 1992 04:57 | 18 |
| 2.4 | Dave Gould | DSM::GOULD | Hold Your Fire | Fri Oct 16 1992 00:35 | 32 |
| 2.5 | S K GANDHI | BBIV02::SKGANDHI | Wed Dec 16 1992 09:43 | 12 | |
| 2.6 | Peter Bell | AUSSIE::BELL | Charitas Patiens est | Sun May 16 1993 08:43 | 14 |
| 2.7 | Geoff Winn | SQGUK::WINN | Geoff Winn @ REO F/G9 | Wed Oct 20 1993 06:59 | 21 |
| 2.8 | Andrzej Mazurkiewicz | SAWA::MAZURKIEWICZ | Andrzej MAZURKIEWICZ @RPW | Thu Dec 16 1993 13:55 | 23 |
| 2.9 | Peter Burke@OLO | MUGGER::BURKEP | Pete, Software Engineer, UK ONIST | Fri May 26 1995 08:05 | 32 |