No cover image available
Uma abordagem à verificação automática de protocolos criptográficos / José Carlos Bacelar Almeida
Main Author Almeida, José Bacelar Country Portugal. Publication Braga : Universidade do Minho, 2002 Description XII, 136 p. ; 30 cm Dissertation Note or Thesis: Dissertação: Grau de Doutor em Informática, ramo Fundamentos da Computação, Universidade do Minho CDU 519.6 681.3| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca de Reservados | Teses e Dissertações | BRE 519.6 - A | Não requisitável | Not for loan | 322365 |
Total holds: 0
Dissertação: Grau de Doutor em Informática, ramo Fundamentos da Computação, Universidade do Minho
There are no comments for this item.