
@conference {inp:SchebenSchmitt2012a,
	title = {{Verification of Information Flow Properties of Java Programs without Approximations}},
	booktitle = {Proceedings of the Formal Verification of Object-Oriented Software (FoVeOOS 2011)},
	year = {2012},
	author = {C. Scheben and P. Schmitt}
}
