Frama-C Day 2015

Nano-Innov

A one-day workshop by the Frama-C community, gathering both academic and industrial users around shared experiences and new perspectives.

OSIS Logo

We're a proud contributor to the Open Source Innovation Spring, showcasing the achievements and international impact of Libre projects from a diversity of scientific, economic, and institutional actors.