Combining proof plans with partial order planning for imperative program synthesis
- Andrew Ireland
- , Jamie Stark
Research output: Contribution to journal › Article › peer-review
6
Link opens in a new tab
Citations
(Scopus)