
@conference {inp:TaghdiriSneltingSinz2010a,
	title = {Information Flow Analysis via Path Condition Refinement},
	booktitle = {Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010)},
	year = {2010},
	author = {M. Taghdiri and G. Snelting and C. Sinz}
}
