Acknowledgments
From CVC4
Revision as of 13:36, 10 October 2012 by Clark Barrett (Talk | contribs)
CVC4 is supported in part by the following organizations:
- The Air Force Office of Scientific Research
- Intel Corporation
- The National Science Foundation
- New York University
- The Semiconductor Research Corporation (contract 2008-TJ-1850)
Any opinions, findings and conclusions or recommendations expressed in this site are those of the authors and do not necessarily reflect the views of the organizations listed above.
