Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Logic-Based Program Synthesis and Transformation (LOPSTR 2023) |
| Publisher | Springer Nature |
| Pages | 118–128 |
| DOIs | |
| State | Published - 2023 |
| Event | 33rd International Symposium on Logic-based Program Synthesis and Transformation - Лиссабон, Portugal Duration: 23 Oct 2023 → 24 Oct 2023 |
| Conference | 33rd International Symposium on Logic-based Program Synthesis and Transformation |
|---|---|
| Abbreviated title | LOPSTR |
| Country/Territory | Portugal |
| City | Лиссабон |
| Period | 23/10/23 → 24/10/23 |
ID: 133690438