| 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 |
|---|---|---|---|---|---|
| 12.1 | What is it? | MOVIES::HANCOCK | Peter Hancock | Sun Oct 18 1992 09:37 | 7 |
| 12.2 | I've not heard of this either | COOKIE::WALLACE | CXO2-1/7A, D522-2792, ESM | Sun Oct 18 1992 13:09 | 5 |
| 12.3 | I will describe it shortly... | DSM::GOULD | Hold Your Fire | Mon Oct 19 1992 11:59 | 13 |
| 12.4 | How about a reference to those texts? | COOKIE::WALLACE | CXO2-1/7A, D522-2792, ESM | Mon Oct 19 1992 18:23 | 7 |
| 12.5 | Here is the 91 problem... | DSM::GOULD | Hold Your Fire | Tue Oct 20 1992 00:09 | 56 |
| 12.6 | Nice to speak to someone | MOVIES::HANCOCK | Peter Hancock | Tue Oct 20 1992 16:59 | 22 |
| 12.7 | extra credit | DSM::GOULD | Hold Your Fire | Wed Oct 21 1992 12:36 | 11 |
| 12.8 | Can't see problem | MOVIES::HANCOCK | Peter Hancock | Thu Oct 22 1992 03:29 | 64 |
| 12.10 | Make that John McCarthy | CIRCUS::HORNING | Jim Horning | Fri Nov 06 1992 14:07 | 47 |
| 12.11 | Sorry that I have not replied... | DSM::GOULD | Hold Your Fire | Thu Nov 19 1992 18:25 | 15 |