TY  - CHAP
AU  - Horváth, Gábor
AU  - Pataki, Norbert
ED  - Stefan, Marr
ED  - Eric, Jul
TI  - Source language representation of function summaries in static analysis
T2  - Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
PB  - ACM Press
CY  - New York, New York
SN  - 9781450348379
PY  - 2016
PG  - 9
DO  - 10.1145/3012408.3012414
UR  - https://m2.mtmt.hu/api/publication/3170466
ID  - 3170466
LA  - English
DB  - MTMT
ER  -