autores
- José Carlos Bacelar Almeida
- Almeida, J.B.
- Vieira, Bárbara Isabel Sousa
- Almeida, José Bacelar
- Barbosa, M.
- Barbosa, Manuel Gonçalves
- Filliâtre, J.-C.
- Filliâtre, Jean-Christophe
- Pinto, J.S.
- Pinto, Jorge Sousa
- Vieira, B.
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos