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
doi: 10.1007/978-3-030-25540-4_14
Download from
https://dx.doi.org/10.1007/978...
Dataset . 2019
Provider: Datacite
Springer International Publishing
Related research
22 research outcomes, page 1 of 3
22 research outcomes, page 1 of 3
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue