Rule Formats for Compositional Non-interference Properties (2004)

by S Tini
Venue:in Journal of Logic and Algebraic Programming 60:353–400