Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Filliatre, J.-C., Portugal

• Volume 33: Foundations and Techniques for Open Source Software Certification 2010 - Articles
  A Deductive Verification Platform for Cryptographic Software
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.