- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52 |
| 1 | José Bacelar Almeida | [1] |
| 2 | Manuel Barbosa | [1] |
| 3 | Jorge Sousa Pinto | [1] |