Open access
Author
Date
2013-01Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000063896Publication status
publishedExternal links
Journal / series
Formal Aspects of ComputingVolume
Pages / Article No.
Publisher
SpringerSubject
The Shadow semantics; Event-B; Noninterference security; Refinement; InvariantsOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 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 publisherMore
Show all metadata
ETH Bibliography
yes
Altmetrics