by J. Almeida, M. Barbosa, H. Pacheco, V. Pereira
Reference:
J. Almeida, M. Barbosa, H. Pacheco, V. Pereira, A Tool-Chain for High-Assurance Cryptographic, In ERCIM News, article, , vol. 2016, no. 106, 2016.
Bibtex Entry:
@article{ercim2016,
author = {J. Almeida and M. Barbosa and H. Pacheco and V. Pereira},
title = {A Tool-Chain for High-Assurance Cryptographic},
journal = {{ERCIM} News},
volume = {2016},
number = {106},
year = {2016},
url = {http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software}
}