CEA's Introduction to Frama-C



  • Description:

  • Hours: 11

  • Level: Master

  • Public/private: private

  • Price: 8000€

  • How to attend: on-demand