[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 - Discovering relational specifications
Smith, Calvin; Ferns, Gabriel; Albarghouthi, Aws
- 作者Smith, Calvin; Ferns, Gabriel; Albarghouthi, Aws
- 文件大小1334.49KB
- 发表时间2017
- DOI10.1145/3106237.3106279
- 页码616-626