Etiqueta de registo: 00000nx a2200025 45
001 1953982
003 http://id.bnportugal.gov.pt/aut/catbnp/1953982
100 ## $a20250506apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aMão de Ferro,$bCarlos Jorge Velez Mão de
801 #0 $aPT$bBN
810 ## $aSafe and resource-aware verification for programming cyber-physical systems
830 ## $aDoutoramento em Informática
ver registos bibliográficos associados