Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Pasareanu, Corina S. (Perot Systems Government Services Moffett Field, CA, United States) Visser, Willem (SEVEN Networks Redwood City, CA, United States) Date Acquired
August 24, 2013
Publication Date
June 25, 2009
Subject Category
Computer Programming And Software Distribution Limits
Public
Copyright
Public Use Permitted.