News

Latest news

No news at this moment

Publications

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

News

STANCE is quoted among the technical projects in the FP7 Handbook published by the project SECCORD

News >>

Back to News

Last changed: 09/02/2015 at 7:21 AM