LEADER 01504aam  2200397I  450 
001 9910711188203321
005 20151030113010.0
024 8 $aGOVPUB-C13-b290ec07b769f2a7ae9df299939078f9
035   $a(CKB)5470000002480125
035   $a(OCoLC)927169919
035   $a(EXLCZ)995470000002480125
100   $a20151030d1991      ua             0
101 0 $aeng
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aProceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991 /$fDolores R. Wallace, D. Richard Kuhn, John C. Cherniavsky
210  1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1991.
215   $a1 online resource
225 1 $aNIST special publication ;$v500-190
300   $a1991.
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   $aCherniavsky$b John C$01394715
701   $aKuhn$b D. Richard$01162181
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   $a9910711188203321
996   $aProceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991$93456359
997   $aUNINA