| 000 | 00518nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1993 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aStrom, Robert E, _9787583 |
||
| 100 |
_aYeliln, Daniel M. _9787585 |
||
| 245 | 0 | _aExtending Typestate Checking Using Conditional liveness Analysis | |
| 300 | _a478-485 p. | ||
| 650 |
_aConditioning _9719355 |
||
| 650 |
_aDataflow Analysis _9774288 |
||
| 650 |
_aProgram Correctness _9775197 |
||
| 773 |
_d1993 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c748174 _d748174 |
||