@inproceedings{MTMT:3170466,
	title = {Source language representation of function summaries in static analysis},
	url = {https://m2.mtmt.hu/api/publication/3170466},
	author = {Horváth, Gábor and Pataki, Norbert},
	booktitle = {Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
	doi = {10.1145/3012408.3012414},
	unique-id = {3170466},
	year = {2016},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}