Acknowledgments

From CVC4
Revision as of 14:53, 17 September 2012 by Mdeters (Talk | contribs) (Created page with "CVC4 is supported in part by the following organizations: * [http://www.wpafb.af.mil/AFRL/afosr/ Air Force Office of Scientific Research] * [http://www.nsf.gov/ National Science…")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

CVC4 is supported in part by the following organizations:

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.

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=Acknowledgments&oldid=3438"