Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Barringer, Howard (Manchester Univ. United Kingdom) Giannakopoulou, Dimitra (NASA Ames Research Center Moffett Field, CA, United States) Pasareanu, Corina S. (Kestrel Technology, LLC Moffett Field, CA, United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software Meeting Information
Meeting: SAVBS 2003
Country: Unknown
Start Date: January 1, 2003
Funding Number(s)
CONTRACT_GRANT: GR/S40435/01
CONTRACT_GRANT: NAS2-00065
Distribution Limits
Public
Copyright
Public Use Permitted.