Non-Linear Reasoning for Invariant Synthesis
Proceedings of the ACM on Programming Languages
doi 10.1145/3158142
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2018
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
January 1, 2018
Association for Computing Machinery (ACM)