LEADER 01404aam 2200385I 450 001 9910711185403321 005 20151030113010.0 024 8 $aGOVPUB-C13-1b329794a95cb0d41e2b9b361189d613 035 $a(CKB)5470000002480154 035 $a(OCoLC)927169976 035 $a(EXLCZ)995470000002480154 100 $a20151030d1994 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 12$aA framework for the development and assurance of high integrity software /$fDolores R. Wallace, Laura M. Ippolito 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1994. 215 $a1 online resource 225 1 $aNIST special publication ;$v500-223 300 $a1994. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 700 $aWallace$b Dolores R$01387766 701 $aIppolito$b Laura M$01399237 701 $aWallace$b Dolores R$01387766 712 02$aNational Institute of Standards and Technology (U.S.) 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910711185403321 996 $aA framework for the development and assurance of high integrity software$93510185 997 $aUNINA