Etiqueta de registo: 00000nx a2200025 45
001 1741753
003 http://id.bnportugal.gov.pt/aut/catbnp/1741753
100 ## $a20190212apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aPedro,$bAndré de Matos
801 #0 $aPT$bBN
810 ## $aDynamic contracts for verification and enforcement of real-time systems properties
830 ## $aDout. em Informática (MAP-i), Escola de Engenharia, Univ. do Minho, 2018
ver registos bibliográficos associados