Etiqueta de registo: 00000nx a2200025 45
001 1785279
003 http://id.bnportugal.gov.pt/aut/catbnp/1785279
100 ## $a20200706apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aAlmeida,$bJosé Carlos Bacelar
400 #1 $aAlmeida,$bJosé Carlos Bacelar Ferreira Junqueira$31869444
400 #1 $aAlmeida,$bJosé Bacelar$32006566
801 #0 $aPT$bBN
810 ## $aIntegrated verification of cryptographic security proofs and implementation
830 ## $aProfessor universitário. Orient. teses em Informática
ver registos bibliográficos associados