Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Naydich, Dimitri (Odyssey Research Associates, Inc. Ithaca, NY United States) Guaspari, David (Odyssey Research Associates, Inc. Ithaca, NY United States) Date Acquired
August 19, 2013
Publication Date
June 1, 2000
Publication Information
Publication: Lfm2000: Fifth NASA Langley Formal Methods Workshop
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NAS1-20335
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.