Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Lutz, Robyn R. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA 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
97N27880
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.