| 000 | 00520nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1997 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aKaufmann, Matt _9779036 |
||
| 100 |
_aMoore, J. S. _9779037 |
||
| 245 | 3 | _aAn Industrial Strength Theorem Prover for a Logic Based on Common lisp | |
| 300 | _a203-213 p. | ||
| 650 |
_a Formal Verification _9757309 |
||
| 650 |
_aAutomatic Testing _9779038 |
||
| 650 |
_aComputations _9779039 |
||
| 773 |
_d1997 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c744596 _d744596 |
||