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: |