Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/rss-feed
  • feature/bdesloges/update-ivette-page
  • master default protected
  • improve-index-wip-proposal
  • fix/martin/fix-changelog-event-display
5 results
Blame Permalink
acknowledgement-standalone.html 1.57 KiB 
---
layout: default
title: Acknowledgements - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
  <div id="wrapper" class="hfeed">

	{% include blog-headers-standalone.html %}

    <div id="container" class="mainContainer">
      <div class="defaultPage authorsPage" id="content" role="main">
        <article id="post-231" class="post-231 page type-page status-publish hentry">
          <h1 class="entry-title">Acknowledgements</h1>

          <section class="articleContent">
            <div class="authorPageContent pageWrapper">
              <div class="contentInfoBox">
			  <ul>
                <li>U3CAT - <a href="https://frama-c.com/u3cat">https://frama-c.com/u3cat</a></li>
				<li>STANCE - <a href="https://cordis.europa.eu/project/id/317753">https://cordis.europa.eu/project/id/317753</a> - FP7-ICT - Grant agreement 317753</li>
				<li>VESSEDIA - <a href="https://cordis.europa.eu/project/id/731453">https://cordis.europa.eu/project/id/731453</a> - H2020 - Grant agreement 731453</li>
				<li>DECODER - <a href="https://cordis.europa.eu/project/id/824231">https://cordis.europa.eu/project/id/824231</a> - H2020 - Grant agreement 824231</li>
				<li>SPARTA - <a href="https://cordis.europa.eu/project/id/830892">https://cordis.europa.eu/project/id/830892</a> - H2020 - Grant agreement 830892</li>
              </ul></div>

             
            </div>
          </section>
        </article>

       
      </div>

	  {% include blog-footer-standalone.html %}

      <div class="clear"></div>
    </div>
  </div>