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 %}