On Compositional Information Flow Aware Refinement
Keyword(s):
2007 ◽
Vol 15
(3)
◽
pp. 373-416
◽
2016 ◽
Vol E99.A
(12)
◽
pp. 2211-2217
2019 ◽
Vol 2
(89)
◽
pp. 161-172
Keyword(s):