| 000 | 00534nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
| 100 | _aPaul, Christopher | ||
| 100 |
_aColeman, Derek _9144917 |
||
| 100 |
_aGalilmore, Robin M. _9787488 |
||
| 245 | 0 | _a Formal Specification and Design Time Testing | |
| 300 | _a1-12 p. | ||
| 650 |
_aAbstract Data Type _9779030 |
||
| 650 |
_aDesign Verification _9779063 |
||
| 650 |
_aDynamic Testing _9598209 |
||
| 773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c748134 _d748134 |
||