From specifications to programs

• Authors: ZLATUŠKA Jiří; GILBERT David; HOGGER Chris
• Year of publication: 1994
• Type: Article in Proceedings
• Conference: Logic Program Synthesis and Transformation
• MU Faculty or unit: Faculty of Informatics
• Field: Information theory

Related projects

• Human-computer interaction, dialog systems and assistive technologies