Skip to main content

Program Synthesis for Program Analysis

David Cristina‚ Lewis Matt‚ Kesseli Pascal and Kroening Daniel

Journal
ACM Trans. Program. Lang. Syst.
Pages
to appear
Year
2018