Pinto, J., 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.
Electronic Communications of the EASST