Computing Summaries of String Loops in C for Better Testing and Refactoring
doi 10.1145/3314221.3314610
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2019
Authors
Publisher
ACM Press
Available in full text
January 1, 2019
ACM Press