Description Company: None


version name description hours level publicprivate price access contact
Software verification with Frama-C: positioning and usage 22.5 Master Private 17.000€ on-demand
Introduction to Frama-C 11 Master Private 8.000€ on-demand
Platform virtualization and UNISIM-VP 45 Master Private 34.000€ on-demand
Frama-C Hackathon Private 8.000€ on-demand