Etiqueta de registo: 00146cx a22000733 45
001 1382626
100 ## $a20090626apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aPereira,$bDavid Miguel Ramalho
801 #0 $aPT$bBN
810 ## $aTowards certified program logics for the verification of imperative programs
830 ## $aMestr. Informática. Dout. MAP-i
ver registos bibliográficos associados