Etiqueta de registo: 00146nx a2200073 45
001 1593745
100 ## $a20141125apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aNovo,$bPedro José de Oliva,$f1988-
801 #0 $aPT$bBN
810 ## $aAutomatic synthesis of weakest preconditions for compiler optimizations
830 ## $aDoutoramento Engenharia de Materiais
ver registos bibliográficos associados