Counterexample-driven synthesis for probabilistic program sketches

DOI10.1007/978-3-030-30942-8_8zbMATH Open1539.68055MaRDI QIDQ6535945

Author name not available (Why is that?)

Publication date: 14 March 2024

Mathematics Subject Classification ID

No records found.

This page was built for publication: Counterexample-driven synthesis for probabilistic program sketches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535945)