project . 2007 - 2011 . Closed

New Handles on Program Correctness

National Science Foundation
  • Funder: National Science FoundationProject code: 0729011
  • Funded under: Directorate for Computer & Information Science & Engineering | Division of Computing and Communication Foundations
  • Status: Closed
  • Start Date
    01 Sep 2007
    End Date
    31 Aug 2011
Partners
Partners
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue