From specifications to programs
| Authors | |
|---|---|
| Year of publication | 1994 |
| Type | Article in Proceedings |
| Conference | Logic Program Synthesis and Transformation |
| MU Faculty or unit | |
| Citation | |
| Field | Information theory |
| Related projects: |
| Authors | |
|---|---|
| Year of publication | 1994 |
| Type | Article in Proceedings |
| Conference | Logic Program Synthesis and Transformation |
| MU Faculty or unit | |
| Citation | |
| Field | Information theory |
| Related projects: |