Skip to main navigation Skip to search Skip to main content

Synthesis of circular compositional program proofs via abduction

Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv

Tel Aviv University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'Synthesis of circular compositional program proofs via abduction'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science