Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Hatcliff, John (Kansas State Univ. Manhattan, KS, United States) Dwyer, Matthew B. (Kansas State Univ. Manhattan, KS, United States) Pasareanu, Corina S. (Kestrel Technology, LLC Moffett Field, CA, United States) Robby (Kansas State Univ. Manhattan, KS, United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NSF CCR-97-08184
CONTRACT_GRANT: NCC1-399
CONTRACT_GRANT: NSF CCR-97-03094
CONTRACT_GRANT: F33615-00-C-3044
CONTRACT_GRANT: NSF CCR-98-96354
CONTRACT_GRANT: NSF CCR 99-01605
CONTRACT_GRANT: NAS2-00065
CONTRACT_GRANT: DAAD19-01-110564
CONTRACT_GRANT: NAG2-1209
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.