01404aam 2200385I 450 991071118540332120151030113010.0GOVPUB-C13-1b329794a95cb0d41e2b9b361189d613(CKB)5470000002480154(OCoLC)927169976(EXLCZ)99547000000248015420151030d1994 ua 0engrdacontentrdamediardacarrierA framework for the development and assurance of high integrity software /Dolores R. Wallace, Laura M. IppolitoGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,1994.1 online resourceNIST special publication ;500-2231994.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Wallace Dolores R1387766Ippolito Laura M1399237Wallace Dolores R1387766National Institute of Standards and Technology (U.S.)NBSNBSGPOBOOK9910711185403321A framework for the development and assurance of high integrity software3510185UNINA