Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Dill, David L. (Stanford Univ. CA, United States) Date Acquired
September 6, 2013
Publication Date
June 1, 1995
Publication Information
Publication: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop
Subject Category
Computer Programming And Software Accession Number
96N10035
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.