Etiqueta de registo: 00000nam 2200025 450
001 1944535
003 http://id.bnportugal.gov.pt/bib/catbnp/1944535
100 ## $a20161017d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A type system for value-dependent information flow analysis$fMaria Luísa Sobreira Gouveia Loureço$gorient. Luís Caires
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXV, [1], 237 p.$d30 cm
328 #1 $aTese dout. informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2016
675 ## $a621.38(043)$vBN$zpor$3335621
700 #1 $aLoureço,$bMaria Luísa Sobreira Gouveia$31660793
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 163402 V.$x1