Decision Proceedures with Applications to Verification
Aaron Bradley, Zohar Manna
Includes references and index
| Barcode | Campus | Location | Condition | Status |
|---|---|---|---|---|
| UOE1000000762 | ariyappatta | General | excellent | Available |
| UOE1000000763 | ariyappatta | General | excellent | Available |
| UOE1000000764 | ariyappatta | General | excellent | Available |
| UOE1000000765 | ariyappatta | General | excellent | Available |
