On Information Flow Control in Event-B and Refinement.

Chunyan Mu

Browse the full TASE paper archive.