Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Leathrum, James F., Jr. (Old Dominion Univ. Norfolk, VA United States) Date Acquired
August 17, 2013
Publication Date
September 1, 1997
Publication Information
Publication: Fourth NASA Langley Formal Methods Workshop
Subject Category
Computer Operations And Hardware Accession Number
97N27890
Funding Number(s)
CONTRACT_GRANT: NAS1-19858
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.