TY - GEN
AU - MASTROENI, ISABELLA
AU - BANERJEE, ANINDYA
TI - Modelling declassification policies using abstract domain completeness
PB - Cambridge University Press (CUP)
SN - 0960-1295
SN - 1469-8072
KW - Computer Science Applications
KW - Mathematics (miscellaneous)
PY - 2011
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation