Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Pasareanu Corina S. (NASA Ames Research Center Moffett Field, CA, United States) Peianek Radek (Masaryk Univ., Brno Jihomoravsky, Czechoslovakia) Visser, Willem (NASA Ames Research Center Moffett Field, CA, United States) Date Acquired
August 23, 2013
Publication Date
January 1, 2005
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: GA-CR-201/03/0509
Distribution Limits
Public
Copyright
Public Use Permitted.