- Journal Article
Rights / licenseIn Copyright - Non-Commercial Use Permitted
Journal / seriesFormal Aspects of Computing
Pages / Article No.
SubjectThe Shadow semantics; Event-B; Noninterference security; Refinement; Invariants
Organisational unit03634 - Basin, David / Basin, David
NotesReceived 26 December 2011, Accepted in revised form 30 May 2012, Published online 29 June 2012. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
MoreShow all metadata