Items where Author / Artist / Editor is "Berger, Martin"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: 16th International Conference on Logic for programming Artificial Intelligence and Reasoning (LPAR-16), April 25-May 1, 2010, Dakar, Senegal. . [Conference or Workshop Item]
