research data . Dataset . 2019

Quantified Invariants via Syntax-Guided Synthesis

Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti;
  • Published: 01 Jan 1970
  • Publisher: Springer International Publishing