Year	2018
Authors	FANG YU
Paper Title	Abdulbaki Aydin*;William Eiers;Lucas Bang;Tegan Brennan;Miroslav Gavrilov;Tevfik Bultan*;Fang Yu, 2018.07, 'Parameterized Model Counting for String and Numeric Constraints, ' The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
Date of Publication	2018-07-01
ISI Number	418942