Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Program Synthesis for Program Analysis

Program Synthesis for Program Analysis

Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Matt Lewis

Journal
ACM Transactions on Programming Languages and Systems
Month
05
Pages
1−45
Volume
40
Year
2018

Links

See Also

Back to Top