Abstracting formal specifications to generate software tests via model checking / Paul E. Ammann, Paul E. Black.
| Author/creator | Ammann, Paul E. |
| Other author | Black, Paul E. |
| Other author | National Institute of Standards and Technology (U.S.) |
| Format | Microform |
| Publication Info | Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1999] |
| Description | 25 pages : illustrations. |
| Subjects |
| Series | NISTIR ; 6405 NISTIR ; 6405. ^A682451 |
| General note | Shipping list no.: 2000-0148-M. |
| General note | "October 1999." |
| Bibliography note | Includes bibliographical references (p. 15-17). |
| Reproduction note | Joyner- Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999] 1 microfiche : negative. |
| GPO item number | 0247-D (MF) |
| Govt. docs number | C 13.58:6405 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | C 13.58:6405 | ✔ Available |