Acquisition Source
Ames Research Center
Authors
Bjorner, Nikolaj S. (Kestrel Inst. Palo Alto, CA United States) Espinosa, David (Kestrel Inst. Palo Alto, CA United States) Date Acquired
August 19, 2013
Publication Date
February 7, 2000
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NAG2-1227
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.