Meeting: International Workshop on Proof-Carrying Code and Software Certification
Location: Los Angeles, CA
Country: United States
Start Date: August 15, 2009
Sponsors: NASA Headquarters, NASA Ames Research Center, Institute of Electrical and Electronics Engineers