![](https://www.pdfsearch.io/img/2b4d30ec63c71fad4ffa029dff4ef7a1.jpg) Date: 2004-11-10 10:59:34
| | Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UKAdd to Reading ListSource URL: www.macs.hw.ac.ukDownload Document from Source Website File Size: 204,58 KBShare Document on Facebook
|