(1)
Barbosa, M.; Pinto, J.; Filliatre, J.-C.; Vieira, B. A Deductive Verification Platform for Cryptographic Software.
ECEASST
2010
,
33
.