CEA's Software verification with Frama-C: positioning and usage



  • Description:

  • Hours: 22.5

  • Level: Master

  • Public/private: private

  • Price: 17000€

  • How to attend: on-demand