[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Constraint normalization and parameterized caching for quantitative program analysis
Brennan, Tegan; Tsiskaridze, Nestan; Rosner, Nicolás; Aydin, Abdulbaki; Bultan, Tevfik
- 作者Brennan, Tegan; Tsiskaridze, Nestan; Rosner, Nicolás; Aydin, Abdulbaki; Bultan, Tevfik
- 文件大小1072.22KB
- 发表时间2017
- DOI10.1145/3106237.3106303
- 页码535-546