CEA's Frama-C Hackathon



  • Description:

  • Public/private: private

  • Price: 8000€

  • Based on which tool: Frama-C

  • How to obtain access: on-demand