Email RIS file
Bookmark
Report an Issue

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black

Author:
Ammann, Paul, 1961-
Published:
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1999]
Physical Description:
25 pages : illustrations
Additional Creators:
Black, Paul E. and National Institute of Standards and Technology (U.S.)

Availability

I Want It
I Want It

Finding items...

Series:
Report Numbers:
C 13.58:6405
Subject(s):
Note:
"October 1999."
Shipping list no.: 2000-0148-M.
Bibliography Note:
Includes bibliographical references (pages 15-17).
Reproduction Note:
Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999]. 1 microfiche : negative ; 11 x 15 cm.
View MARC record | catkey: 2022626