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 has issued a poster as a Presentation of the STANCE C++ front-end at euro-llvm

News >>