Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Miller, Steven P. (Rockwell International Corp. Cedar Rapids, IA, United States) Srivas, Mandayam (SRI International Corp. Menlo Park, 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
96N10027
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.