- Additional Authors
- Description
- 40 p. : ill.; 28 cm.
- Series Statement
- NISTIR ; 6777
- Subject
- Note
- Shipping list no.: 2002-0256-M.
- "February 1, 2002."
- Bibliography (note)
- Includes bibliographical references (p. 38-40).
- Reproduction (note)
- Call Number
- GPO Microfiche C 13.58:6777
- OCLC
- marcive49674132
- Author
Black, Paul E.
- Title
Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding.
- Imprint
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [2002]
- Series
NISTIR ; 6777
- Bibliography
Includes bibliographical references (p. 38-40).
- Reproduction
Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., 2002 1 microfiche : negative.
- Added Author
Ammann, Paul.
Ding, Wei, 1967 Sept. 14-
National Institute of Standards and Technology (U.S.)
- Gpo Item No.
0247-D (MF)
- Sudoc No.
C 13.58:6777
- Research Call Number
GPO Microfiche C 13.58:6777