Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


The first period report was successfully achieved and closed at the European Commission premises on 15th November 2013

News >>

Back to News

Last changed: 09/04/2014 at 3:19 PM