Etiqueta de registo: 00000nx a2200025 45
001 1555565
100 ## $a20131203apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aBarbosa,$bManuel Bernardo
400 #1 $aBarbosa,$bManuel Bernardo Martins$31785278
801 #0 $aPT$bBN
810 ## $aFormal verification of cryptographic software implementations
830 ## $aProfessor universitário. Orient. teses em Informática
ver registos bibliográficos associados