Model checkers in software testing / Paul E. Black, Paul Ammann, Wei Ding.
| Author/creator | Black, Paul E. |
| Other author | Ammann, Paul. |
| Other author | Ding, Wei, 1967 September 14- |
| 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, [2002] |
| Description | 40 pages : illustrations ; 28 cm. |
| Subjects |
| Series | NISTIR ; 6777 NISTIR ; 6777. ^A682451 |
| General note | Shipping list no.: 2002-0256-M. |
| General note | "February 1, 2002." |
| Bibliography note | Includes bibliographical references (p. 38-40). |
| Reproduction note | Joyner- Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., 2002 1 microfiche : negative. |
| GPO item number | 0247-D (MF) |
| Govt. docs number | C 13.58:6777 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | C 13.58:6777 | ✔ Available |