| 000 | 00505nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aPitt, David H. _9792007 |
||
| 100 |
_aFreestone, David _9243291 |
||
| 245 | 4 | _aThe Derivation of Con Formance Tests from Lotos Specifications | |
| 300 | _a1337-1343 p. | ||
| 650 |
_aLotos _9767330 |
||
| 650 |
_aCanonical Trans Form _9792008 |
||
| 650 |
_aCoInformation _9686043 |
||
| 773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c750504 _d750504 |
||