Title: | Formal Specification and Verification |
Moderator: | RICKS::LEONARD |
Created: | Wed Dec 30 1987 |
Last Modified: | Wed May 14 1997 |
Last Successful Update: | Fri Jun 06 1997 |
Number of topics: | 50 |
Total number of notes: | 214 |
T.R | Title | User | Personal Name | Date | Lines |
---|---|---|---|---|---|
8.1 | ... when it becomes mechanizable. | CIRCUS::HORNING | Wed Apr 20 1988 00:08 | 18 | |
8.2 | What is testing? | STKHLM::MPERSSON | Wed May 18 1988 09:37 | 90 |