Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Lowry, Michael (NASA Ames Research Center Moffett Field, CA United States) Roach, Steven (NASA Ames Research Center Moffett Field, CA United States) vanBaalen, Jeffrey (NASA Ames Research Center Moffett Field, 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
97N27884
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.