Etiqueta de registo: 00254nam 2200025 450
001 2232998
003 http://id.bnportugal.gov.pt/bib/catbnp/2232998
100 ## $a20251127d2025 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAutomated synthesis of software specifications from requirements$fIat Tou Leong$gadvisor Raul Brajczewski Barbosa
210 #9 $aCoimbra$c[s.n.],$d2025
215 ## $aXXIV, 122 p.$cil.$d30 cm
328 #1 $aTese dout. Information Science and Technology, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, 2025
675 ## $a004.82(043)$vBN$zpor$31209577
700 #0 $aIat Tou,$bLeong$31973274
702 #1 $aBarbosa,$bRaul$4727$31572676
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 71493 V.$x1
971 ## $cssilva$d20251127
973 ## $cigoulao$d20251128
975 ## $e0$d20251204$viquintas