Original language | English |
---|---|
Book series | Lecture Notes in Computer Science |
Issue number | 4915 |
Pages (from-to) | 23-42 |
Number of pages | 19 |
ISSN | 0302-9743 |
DOIs | |
Publication status | Published - 2008 |
Event | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Denmark Duration: 23 Aug 2007 → 24 Aug 2007 Conference number: 17 |
Conference
Conference | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 |
---|---|
Number | 17 |
Country/Territory | Denmark |
City | Kgs. Lyngby |
Period | 23/08/2007 → 24/08/2007 |