--- layout: default title: Publications css: publications ---
{% include headers.html header="publications" %}

Publications

Frama-C Framework

{% include publication-entries.html title="Manuals" category="manuals" plugin="general" %} {% include publication-entries.html title="Foundational" category="foundational" plugin="general" %} {% include publication-entries.html title="About the Frama-C Kernel" category="kernel" plugin="general" %} {% include publication-entries.html title="Tutorials" category="tutorials" plugin="general" %} {% for category in site.data.publications %}

{{ category.name }}

{% for plugin in category.plugins %}

{{ plugin.name }}

{% include publication-entries.html title="Manuals" category="manuals" plugin=plugin.id %} {% include publication-entries.html title="Theses" category="thesis" plugin=plugin.id %} {% include publication-entries.html title="Foundational" category="foundational" plugin=plugin.id %} {% include publication-entries.html title="Tutorials" category="tutorials" plugin=plugin.id %} {% include publication-entries.html title="Others" category="other" plugin=plugin.id %} {% endfor %} {% endfor %}
{% include footer.html %}