News

Latest news

Stance Press Release

 

07/09/2016: Please click here to read the press release!

Read More

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

Publicly accessible repository of Java frontend

News >>

To retrieve the entire repository, the installation of the Mercurial version control system will be necessary and the following command will fetch the contents of the repository, hg clone https://gijsv@bitbucket.org/gijsv/stance-java-frontend


Back to News

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