--- layout: default title: Teaching description: The Frama-C verification platform is used for teaching, here are some available lectures. css: publications ---
{% include headers.html header="documentation" %}

Teaching

{% include publication-entries.html category="teaching" %}