Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Lowry, Michael R. (NASA Ames Research Center Moffett Field, CA United States) Pressburger, Thomas (NASA Ames Research Center Moffett Field, CA United States) VanBaalen, Jeffrey (Wyoming Univ. Laramie, WY United States) Roach, Steven (Wyoming Univ. Laramie, WY United States) Date Acquired
August 20, 2013
Publication Date
January 1, 1997
Subject Category
Computer Programming And Software Meeting Information
Meeting: Formal Foundation of Software Systems
Location: Rio de Janeiro
Country: Brazil
Start Date: May 5, 1997
End Date: May 9, 1997
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.