--- layout: default title: Acknowledgements - Frama-C ---
{% include blog-headers-standalone.html %}

Acknowledgements

  • U3CAT - https://frama-c.com/u3cat
  • STANCE - https://cordis.europa.eu/project/id/317753 - FP7-ICT - Grant agreement 317753
  • VESSEDIA - https://cordis.europa.eu/project/id/731453 - H2020 - Grant agreement 731453
  • DECODER - https://cordis.europa.eu/project/id/824231 - H2020 - Grant agreement 824231
  • SPARTA - https://cordis.europa.eu/project/id/830892 - H2020 - Grant agreement 830892
{% include blog-footer-standalone.html %}