Publications
Frama-C Framework
{% include publication-entries.html
title="Manuals" category="manual" 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="About the Frama-C Graphical User Interface" category="ivette" plugin="general" %}
{% include publication-entries.html
title="Tutorials" category="tutorial" plugin="general" %}
{% for category in site.data.publications %}
{{ category.name }}
{% for plugin in category.plugins %}
{{ plugin.name }}
{% include publication-entries.html
title="Manuals" category="manual" plugin=plugin.id %}
{% include publication-entries.html
title="Theses" category="phdthesis" plugin=plugin.id %}
{% include publication-entries.html
title="Foundational" category="foundational" plugin=plugin.id %}
{% include publication-entries.html
title="Tutorials" category="tutorial" plugin=plugin.id %}
{% include publication-entries.html
title="Others" category="other" plugin=plugin.id %}
{% endfor %}
{% endfor %}
Theses related to Frama-C
{% include publication-entries.html title="" category="phdthesis" %}