Fingerprint
Dive into the research topics of 'Synthesis of circular compositional program proofs via abduction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Synthesis of circular compositional program proofs via abduction
Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review