Translated title of the contribution | Program synthesis |
---|---|
Original language | English |
Title of host publication | Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Texas |
Publication status | Published - 1994 |
Program synthesis
CP Willis, DJ Paddon
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)