Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Knight, John C. (Virginia Univ. Charlottesville, VA United States) DeJong, Colleen L. (Virginia Univ. Charlottesville, VA United States) Gibble, Matthew S. (Virginia Univ. Charlottesville, VA United States) Nakano, Luis G. (Virginia Univ. Charlottesville, 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 Programming And Software Accession Number
97N27874
Funding Number(s)
CONTRACT_GRANT: NRC 04-94-093
CONTRACT_GRANT: NAG1-1123-FDP
CONTRACT_GRANT: NSF CCR-92-13427
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.