| 000 | 00430nam#a2200181ua#4500 | ||
|---|---|---|---|
| 001 | GOACATREC80882 | ||
| 900 | 0 | 0 | _a20020205 |
| 901 | 0 | 0 | _aENG |
| 020 | 0 | 0 | _a3540544771 |
| 245 | 0 | 0 | _aComputer-aided verification |
| 100 | 0 | 0 | _aClarke, E |
| 700 | 0 | 0 | _aKurshan, R |
| 440 | 0 | 0 | _aLecture notes in computer science |
| 902 | 0 | 0 | _a005.14 |
| 650 | 0 | 0 | _aComputer verification |
| 903 | 0 | 0 | _a92868 |
| 260 | 0 | 0 |
_aBerlin _bSpringer Verlag _c1991 |
| 999 |
_c80806 _d80806 |
||