
@conference {inp:Hammer2010a,
	title = {Experiences with PDG-based IFC},
	booktitle = {Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010)},
	year = {2010},
	author = {C. Hammer}
}
