
@conference {inp:WasserabLohner2010a,
	title = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing},
	booktitle = {6th International Verification Workshop (VERIFY 2010)},
	year = {2010},
	author = {D. Wasserrab and D. Lohner}
}
