01504aam 2200397I 450 991071118820332120151030113010.0GOVPUB-C13-b290ec07b769f2a7ae9df299939078f9(CKB)5470000002480125(OCoLC)927169919(EXLCZ)99547000000248012520151030d1991 ua 0engrdacontentrdamediardacarrierProceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991 /Dolores R. Wallace, D. Richard Kuhn, John C. CherniavskyGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,1991.1 online resourceNIST special publication ;500-1901991.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Wallace Dolores R1387766Cherniavsky John C1394715Kuhn D. Richard1162181Wallace Dolores R1387766National Institute of Standards and Technology (U.S.)NBSNBSGPOBOOK9910711188203321Proceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 19913456359UNINA