Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Havelund, Klaus (Kestrel Technology, LLC Moffett Field, CA United States) Rosu, Grigore (Research Inst. for Advanced Computer Science Moffett Field, CA United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2001
Subject Category
Computer Programming And Software Meeting Information
Meeting: RV
Location: Paris
Country: France
Start Date: July 23, 2001
Funding Number(s)
CONTRACT_GRANT: 2000-1C-1-0044
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.