Path selection for symbolic execution systems / by John Lowe Woods.
| Author/creator | Woods, John Lowe |
| Format | Book |
| Publication Info | Ann Arbor, Mich. : UMI Research Press, ©1982. |
| Description | viii, 108 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Computer science. Systems programming ; no. 12 |
| General note | Revision of thesis (Ph. D.)--University of Massachusetts, 1980. |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [101]-103. |
| LCCN | 82006957 |
| ISBN | 083571344X |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .W677 1982 | ✔ Available | Place Hold |