DMCA

Rule formats for compositional non-interference properties (2004)

Cached


by Simone Tini
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:8 - 0 self