A framework for the development and assurance of high integrity software /
Wallace, Dolores R.
Ippolito, Laura M.
Gaithersburg, MD : Computer Systems Laboratory, National Institute of Standards and Technology ; Washington, D.C. : For sale by the Supt. of Docs., U.S. G.P.O.,
1994.
"December 1994."
Includes bibliographical references.
Computer software