< Back to previous page

Publication

Disjunctive Delimited Control

Book Contribution - Book Chapter Conference Contribution

Book: LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021)
Pages: 75 - 91
Number of pages: 17
ISBN:978-3-030-98868-5
Publication year:2022
Accessibility:Open